Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic, Language and Information, Volume 32
Volume 32, Number 1, March 2023
- Sujata Ghosh, R. Ramanujam:
Preface. 1-2 - Nikolay Bazhenov
:
Computable Heyting Algebras with Distinguished Atoms and Coatoms. 3-18 - Kees van Berkel, Agata Ciabattoni, Elisa Freschi, Francesca Gulisano, Maya Olszewski:
Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again. 19-62 - Adnan Darwiche, Auguste Hirth:
On the (Complete) Reasons Behind Decisions. 63-88 - Hans van Ditmarsch, Didier Galmiche, Marta Gawek:
An Epistemic Separation Logic with Action Models. 89-116 - Prosenjit Howlader, Mohua Banerjee:
Kripke Contexts, Double Boolean Algebras with Operators and Corresponding Modal Systems. 117-146 - Abhisekh Sankaran:
Feferman-Vaught Decompositions for Prefix Classes of First Order Logic. 147-174
Volume 32, Number 2, May 2023
- Cem Bozsahin:
Referentiality and Configurationality in the Idiom and the Phrasal Verb. 175-207 - Jie Fan:
Some Notes on Dyadic Contingency. 209-217 - Julian Grove, Jean-Philippe Bernardy:
Algebraic Effects for Extensible Dynamic Semantics. 219-245 - Yaroslav I. Petrukhin, Vasily Shangin:
Non-transitive Correspondence Analysis. 247-273 - Ivo Pezlar:
Type Polymorphism, Natural Language Semantics, and TIL. 275-295 - Tohru Seraku:
An Incremental Grammar Approach to Multiple Nominative Constructions in Japanese. 297-331 - Shawn Standefer:
A Substructural Approach to Explicit Modal Logic. 333-362
Volume 32, Number 3, August 2023
- Fernando C. Alves:
Language Learnability in the Limit: A Generalization of Gold's Theorem. 363-372 - Gustavo Adrian Bodanza:
On ℱ-Systems: A Graph-Theoretic Model for Paradoxes Involving a Falsity Predicate and Its Application to Argumentation Frameworks. 373-393 - Norihiro Kamide:
Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5. 395-440 - Steffen Lewitzka:
Some Remarks on Semantics and Expressiveness of the Sentential Calculus with Identity. 441-471 - Jacek Pasniczek:
Names and Quantifiers: Bringing Them Together in Classical Logic. 473-487 - Dmitry Shkatov, Clint J. van Alten:
Complexity of the Universal Theory of Residuated Ordered Groupoids. 489-510 - Gennady Shtakser:
A Modal Loosely Guarded Fragment of Second-Order Propositional Modal Logic. 511-538
Volume 32, Number 4, October 2023
- Maria Aloni, Peter van Ormondt:
Modified Numerals and Split Disjunction: The First-Order Case. 539-567 - Nina Gierasimczuk, Dariusz Kalocinski, Franciszek Rakowski, Jakub Uszynski:
Convexity and Monotonicity in Language Coordination: Simulating the Emergence of Semantic Universals in Populations of Cognitive Agents. 569-600 - Teo Grunberg, David Grünberg, Oguz Akçelik:
On the Fundamental Role of 'Means That' in Semantic Theorizing. 601-656 - Sven Ove Hansson:
Iterated AGM Revision Based on Probability Revision. 657-675 - Yuichiro Hosokawa:
From Counterfactual Conditionals to Temporal Conditionals. 677-706 - Dakotah Lambert:
Relativized Adjacency. 707-731 - Tao Xue, Zhaohui Luo, Stergios Chatzikyriakidis:
Propositional Forms of Judgemental Interpretations. 733-758
Volume 32, Number 5, December 2023
- Alok Debanth, Manish Shrivastava:
A Computational Algebraic Analysis of Hindi Syntax. 759-776 - Fengkui Ju:
A Logical Theory for Conditional Weak Ontic Necessity Based on Context Update. 777-807 - Yufeng Liu, Fan Yang, Jian Liu:
Graph Grammar Formalism with Multigranularity for Spatial Graphs. 809-827 - Hoang Nga Nguyen, Abdur Rakib:
Formal Modelling and Verification of Probabilistic Resource Bounded Agents. 829-859 - Satoru Niki:
Double Negation as Minimal Negation. 861-886 - Tikhon Pshenitsyn:
Commutative Lambek Grammars. 887-936
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-14 21:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
