×

Journal of Logic, Language and Information

Official Journal of the European Association for Logic, Language and Information

Short Title: J. Logic Lang. Inf.
Publisher: Springer Netherlands, Dordrecht
ISSN: 0925-8531; 1572-9583/e
Online: https://link.springer.com/journal/10849/volumes-and-issues
Comments: Journal; Indexed cover-to-cover
Documents Indexed: 614 Publications (since 1992)
References Indexed: 425 Publications with 13,294 References.
all top 5

Latest Issues

33, No. 1 (2024)
32, No. 5 (2023)
32, No. 4 (2023)
32, No. 3 (2023)
32, No. 2 (2023)
32, No. 1 (2023)
31, No. 4 (2022)
31, No. 3 (2022)
31, No. 2 (2022)
31, No. 1 (2022)
30, No. 4 (2021)
30, No. 3 (2021)
30, No. 2 (2021)
30, No. 1 (2021)
29, No. 4 (2020)
29, No. 3 (2020)
29, No. 2 (2020)
29, No. 1 (2020)
28, No. 4 (2019)
28, No. 3 (2019)
28, No. 2 (2019)
28, No. 1 (2019)
27, No. 4 (2018)
27, No. 3 (2018)
27, No. 2 (2018)
27, No. 1 (2018)
26, No. 4 (2017)
26, No. 3 (2017)
26, No. 2 (2017)
26, No. 1 (2017)
25, No. 3-4 (2016)
25, No. 2 (2016)
25, No. 1 (2016)
24, No. 4 (2015)
24, No. 3 (2015)
24, No. 2 (2015)
24, No. 1 (2015)
23, No. 4 (2014)
23, No. 3 (2014)
23, No. 2 (2014)
23, No. 1 (2014)
22, No. 4 (2013)
22, No. 3 (2013)
22, No. 2 (2013)
22, No. 1 (2013)
21, No. 4 (2012)
21, No. 3 (2012)
21, No. 2 (2012)
21, No. 1 (2012)
20, No. 4 (2011)
20, No. 3 (2011)
20, No. 2 (2011)
20, No. 1 (2011)
19, No. 4 (2010)
19, No. 3 (2010)
19, No. 2 (2010)
19, No. 1 (2010)
18, No. 4 (2009)
18, No. 3 (2009)
18, No. 2 (2009)
18, No. 1 (2009)
17, No. 4 (2008)
17, No. 3 (2008)
17, No. 2 (2008)
17, No. 1 (2008)
16, No. 4 (2007)
16, No. 3 (2007)
16, No. 2 (2007)
16, No. 1 (2007)
15, No. 4 (2006)
15, No. 3 (2006)
15, No. 1-2 (2006)
14, No. 4 (2005)
14, No. 3 (2005)
14, No. 2 (2005)
14, No. 1 (2005)
13, No. 4 (2004)
13, No. 3 (2004)
13, No. 2 (2004)
13, No. 1 (2004)
12, No. 4 (2003)
12, No. 3 (2003)
12, No. 2 (2003)
12, No. 1 (2003)
11, No. 4 (2002)
11, No. 3 (2002)
11, No. 2 (2002)
11, No. 1 (2002)
10, No. 4 (2001)
10, No. 3 (2001)
10, No. 2 (2001)
10, No. 1 (2001)
9, No. 4 (2000)
9, No. 3 (2000)
9, No. 2 (2000)
9, No. 1 (2000)
8, No. 4 (1999)
8, No. 3 (1999)
8, No. 2 (1999)
8, No. 1 (1999)
...and 25 more Volumes
all top 5

Authors

9 Robles, Gemma
8 Gabbay, Dov M.
8 Méndez, José M.
7 Alechina, Natasha
7 de Rijke, Maarten
7 Hansson, Sven Ove
7 van Benthem, Johan F. A. K.
6 Blackburn, Patrick
6 Chatzikyriakidis, Stergios
6 Francez, Nissim
6 Kamide, Norihiro
5 Ågotnes, Thomas
5 Kamareddine, Fairouz D.
5 Kanazawa, Makoto
5 Lorini, Emiliano
5 Retoré, Christian
5 van der Hoek, Wiebe
5 van Ditmarsch, Hans Pieter
5 Winter, Yoad
4 Braüner, Torben
4 Cantwell, John C.
4 Goranko, Valentin F.
4 Kontinen, Juha
4 Paris, Jeffrey Bruce
4 Pratt-Hartmann, Ian
4 Treur, Jan
4 Väänänen, Jouko Antero
4 van Rooy, Robert
4 Velázquez-Quesada, Fernando Raymundo
4 Verbrugge, Rineke
4 Visser, Albert
4 Wintner, Shuly
3 Demri, Stéphane P.
3 Engelfriet, Joeri
3 Fulop, Sean A.
3 Galimullin, Rustam
3 Gierasimczuk, Nina
3 Humberstone, Lloyd
3 Jäger, Gerhard
3 Jamnik, Mateja
3 Kooi, Barteld Pieter
3 Kracht, Marcus
3 Lambek, Joachim
3 Luo, Zhaohui
3 Marx, Maarten
3 Mineshima, Koji
3 Moot, Richard
3 Moss, Lawrence S.
3 Pagin, Peter
3 Pietarinen, Ahti-Veikko
3 Preller, Anne
3 Robaldo, Livio
3 Schulz, Katrin
3 Shimojima, Atsushi
3 Shoham, Yoav
3 Stapleton, Gem
3 Szymanik, Jakub
3 Tohmé, Fernando A.
3 van Eijck, Jan
3 Vencovská, Alena
3 Vermeulen, C. F. M.
3 Wansing, Heinrich Theodor
3 Westerståhl, Dag
3 Williamson, Jon
2 Akman, Varol
2 Asher, Nicholas M.
2 Barker, Chris
2 Ben-Avi, Gilad
2 Bernardi, Raffaella
2 Bernardy, Jean-Philippe
2 Bochman, Alexander
2 Bodanza, Gustavo Adrian
2 Britz, Katarina
2 Buszkowski, Wojciech
2 Butler, Alastair
2 Chiffi, Daniele
2 Chow, Ka Fat
2 Ciabattoni, Agata
2 Cooper, Robin
2 de Groote, Philippe
2 Dekker, Paul J. E.
2 Egg, Markus
2 Engström, Fredrik
2 Fermé, Eduardo Leopoldo
2 Fernando, Tim
2 Finger, Marcelo
2 Franke, Michael
2 Gärdenfors, Peter
2 Gardent, Claire
2 Groeneveld, Willem
2 Hajnicz, Elżbieta
2 Heidema, Johannes
2 Hella, Lauri T.
2 Herzig, Andreas
2 Hollenberg, Marco
2 Hoshi, Tomohiro
2 Janssen, Theo M. V.
2 Ju, Fengkui
2 Kalociński, Dariusz
2 Kempson, Ruth
...and 640 more Authors

Publications by Year

Citations contained in zbMATH Open

397 Publications have been cited 2,459 times in 1,828 Documents Cited by Year
Reasoning with logical bilattices. Zbl 0851.03017
Arieli, Ofer; Avron, Arnon
111
1996
Reasoning about information change. Zbl 0873.03029
Gerbrandy, Jelle; Groeneveld, Willem
91
1997
A knowledge based semantics of messages. Zbl 1031.03021
Parikh, Rohit; Ramanujam, Ramaswamy
61
2003
A survey of multiple contractions. Zbl 0791.03014
Fuhrmann, André; Hansson, Sven Ove
45
1994
On definability in dependence logic. Zbl 1182.03063
Kontinen, Juha; Väänänen, Jouko
45
2009
An algebraic approach to propositional fuzzy logic. Zbl 0942.06006
Montagna, Franco
44
2000
Hybrid languages. Zbl 0847.03009
Blackburn, Patrick; Seligman, Jerry
42
1995
Logical geometries and information in the square of oppositions. Zbl 1306.03005
Smessaert, Hans; Demey, Lorenz
40
2014
Adding a temporal dimension to a logic system. Zbl 0798.03031
Finger, Marcelo; Gabbay, Dov M.
37
1992
On nonparametric predictive inference and objective Bayesianism. Zbl 1100.62057
Coolen, F. P. A.
37
2006
Preferential belief change using generalized epistemic entrenchment. Zbl 0794.03039
Rott, Hans
33
1992
Extensive games as process models. Zbl 1003.03530
van Benthem, Johan
30
2002
Knowledge-driven versus data-driven logics. Zbl 0942.03023
Dubois, Didier; Hájek, Petr; Prade, Henri
29
2000
Hyper-contradictions, generalized truth values and logics of truth and falsehood. Zbl 1159.03302
Shramko, Yaroslav; Wansing, Heinrich
28
2006
Multimodal linguistic inference. Zbl 0919.03023
Moortgat, Michael
27
1996
On the representation of context. Zbl 0892.03009
Stalnaker, Robert
27
1998
The Lambek calculus enriched with additional connectives. Zbl 0793.03028
Kanazawa, Makoto
26
1992
A calculus for first order discourse representation structures. Zbl 0865.03018
Kamp, Hans; Reyle, Uwe
26
1996
Probabilistic dynamic epistemic logic. Zbl 1031.03044
Kooi, Barteld P.
26
2003
Hierarchies of modal and temporal logics with reference pointers. Zbl 0851.03003
Goranko, Valentin
25
1996
Generalized quantifiers in dependence logic. Zbl 1305.03024
Engström, Fredrik
25
2012
Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence. Zbl 0793.03059
D’Agostino, Marcello
23
1992
Belief revision: A critique. Zbl 0949.03017
Friedman, Nir; Halpern, Joseph Y.
23
1999
Lambek calculus and its relational semantics: Completeness and incompleteness. Zbl 0808.03003
Andréka, Hajnal; Mikulás, Szabolcs
22
1994
A double team semantics for generalized quantifiers. Zbl 1350.03025
Kuusisto, Antti
22
2015
Complexity of the two-variable fragment with counting quantifiers. Zbl 1082.03007
Pratt-Hartmann, Ian
22
2005
The displacement calculus. Zbl 1233.03035
Morrill, Glyn; Valentín, Oriol; Fadda, Mario
20
2011
Modal logic over finite structures. Zbl 0882.03014
Rosen, Eric
19
1997
Finiteness in infinite-valued Łukasiewicz logic. Zbl 0951.03024
Aguzzoli, Stefano; Ciabattoni, Agata
19
2000
Generalized quantifiers and modal logic. Zbl 0797.03014
van der Hoek, Wiebe; de Rijke, Maarten
18
1993
Formal features of compositionality. Zbl 0963.03050
Hodges, Wilfrid
17
2001
Deciding regular grammar logics with converse through first-order logic. Zbl 1083.03023
Demri, Stéphane; de Nivelle, Hans
17
2005
Changes of disjunctively closed bases. Zbl 0798.03029
Hansson, Sven Ove
16
1993
A dynamic logic of agency. I: STIT, capabilities and powers. Zbl 1189.03025
Herzig, Andreas; Lorini, Emiliano
16
2010
Epistemic logic for rule-based agents. Zbl 1159.03010
Jago, Mark
16
2009
Informational interpretation of substructural propositional logics. Zbl 0795.03014
Wansing, Heinrich
14
1993
Counterfactuals and updates as inverse modalities. Zbl 0921.03035
Ryan, Mark; Schobbens, Pierre-Yves
14
1997
Terminating tableau systems for hybrid logic with difference and converse. Zbl 1188.03013
Kaminski, Mark; Smolka, Gert
14
2009
Descriptions of game actions. Zbl 1003.03014
van Ditmarsch, Hans P.
14
2002
Decidable and undecidable logics with a binary modality. Zbl 0840.03014
Kurucz, Ágnes; Németi, István; Sain, Ildikó; Simon, András
13
1995
Transition semantics for branching time. Zbl 1396.03027
Rumberg, Antje
13
2016
Natural deduction for first-order hybrid logic. Zbl 1068.03016
Braüner, Torben
12
2005
Bisimulations for temporal logic. Zbl 0882.03017
Kurtonina, Natasha; de Rijke, Maarten
12
1997
Logic of transition systems. Zbl 0827.03019
van Benthem, Johan; Bergstra, Jan
12
1995
Conditional probability meets update logic. Zbl 1031.03045
van Benthem, Johan
12
2003
Independent choices and the interpretation of IF logic. Zbl 1003.03025
Janssen, Theo M. V.
12
2002
Dynamic epistemic logic for implicit and explicit beliefs. Zbl 1306.03009
Velázquez-Quesada, Fernando R.
12
2014
What makes an effective representation of information: a formal account of observational advantages. Zbl 1368.68294
Stapleton, Gem; Jamnik, Mateja; Shimojima, Atsushi
12
2017
Temporal languages for epistemic programs. Zbl 1184.03010
Sack, Joshua
12
2008
Speaking about transitive frames in propositional languages. Zbl 0927.03036
Suzuki, Yasuhito; Wolter, Frank; Zakharyaschev, Michael
11
1998
Implicit epistemic aspects of constructive logic. Zbl 0873.03003
Sundholm, Göran
11
1997
Weak negation in inquisitive semantics. Zbl 1369.03108
Punčochář, Vít
11
2015
A note on the rational closure of knowledge bases with both positive and negative knowledge. Zbl 0906.03026
Booth, R.; Paris, J. B.
11
1998
A diagrammatic inference system with Euler circles. Zbl 1305.03014
Mineshima, Koji; Okada, Mitsuhiro; Takemura, Ryo
11
2012
Children’s application of theory of mind in reasoning and language. Zbl 1157.91441
Flobbe, Michiel Marian Liesbeth; Verbrugge, Rineke; Hendriks, Petra; Krämer, Irene
11
2008
Approximate common knowledge and co-ordination: Recent lessons from game theory. Zbl 0877.68105
Morris, Stephen; Shin, Hyun Song
10
1997
Active agents. Zbl 1031.03009
Hendricks, Vincent F.
10
2003
Kripke semantics for modal substructural logics. Zbl 1017.03011
Kamide, Norihiro
10
2002
Announcements to attentive agents. Zbl 1352.03021
Bolander, Thomas; van Ditmarsch, Hans; Herzig, Andreas; Lorini, Emiliano; Pardo, Pere; Schwarzentruber, François
10
2016
Fragments of language. Zbl 1046.03014
Pratt-Hartmann, Ian
10
2004
The basic constructive logic for a weak sense of consistency. Zbl 1173.03027
Robles, Gemma; Méndez, José M.
10
2008
A modal perspective on the computational complexity of attribute value grammar. Zbl 0793.03018
Blackburn, Patrick; Spaan, Edith
9
1993
Sequence semantics for dynamic predicate logic. Zbl 0802.03024
Vermeulen, C. F. M.
9
1993
On the expressivity of feature logics with negation, functional uncertainty, and sort equations. Zbl 0788.68131
Baader, Franz; Bürckert, Hans-Jürgen; Nebel, Bernhard; Nutt, Werner; Smolka, Gert
9
1993
Reasoning about action and change. A dynamic logic approach. Zbl 0864.03019
Prendinger, Helmut; Schurz, Gerhard
9
1996
Refined epistemic entrenchment. Zbl 0988.03031
Meyer, Thomas Andreas; Labuschagne, Willem Adrian; Heidema, Johannes
9
2000
Tolerance logic. Zbl 1045.03031
Marx, Maarten
9
2001
Linguistic application of first order intuitionistic linear logic. Zbl 0984.03028
Moot, Richard; Piazza, Mario
9
2001
An equational axiomatization of dynamic negation and relational composition. Zbl 0882.03065
Hollenberg, Marco
9
1997
Information tracking in games on graphs. Zbl 1203.91033
Berwanger, Dietmar; Kaiser, Łukasz
9
2010
Two information measures for inconsistent sets. Zbl 1015.03035
Knight, Kevin M.
9
2003
Toward discourse representation via pregroup grammars. Zbl 1160.03307
Preller, Anne
9
2007
Undivided and indistinguishable histories in branching-time logics. Zbl 0921.03024
Zanardo, Alberto
8
1998
A first-order axiomatization of the theory of finite trees. Zbl 0833.03010
Backofen, Rolf; Rogers, James; Vijay-Shanker, K.
8
1995
Syntactic codes and grammar refinement. Zbl 0833.03009
Kracht, Marcus
8
1995
Recovery and epistemic residue. Zbl 0946.03019
Hansson, Sven Ove
8
1999
A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory. Zbl 1211.03039
Lorini, Emiliano
8
2010
On the expressive power of abstract categorial grammars: Representing context-free formalisms. Zbl 1062.03024
de Groote, Philippe; Pogodalla, Sylvain
8
2004
Exhaustive interpretation of complex sentences. Zbl 1062.03025
van Rooij, Robert; Schulz, Katrin
8
2004
Kolmogorov complexity and information theory. With an interpretation in terms of questions and answers. Zbl 1034.68051
Grünwald, Peter D.; Vitányi, Paul M. B.
8
2003
Fibring non-truth-functional logics: Completeness preservation. Zbl 1015.03010
Caleiro, C.; Carnielli, W. A.; Coniglio, M. E.; Sernadas, A.; Sernadas, C.
8
2003
Games that agents play: A formal framework for dialogues between autonomous agents. Zbl 1002.68166
McBurney, Peter; Parsons, Simon
8
2002
On the diagrammatic representation of existential statements with Venn diagrams. Zbl 1350.03013
Moktefi, Amirouche; Pietarinen, Ahti-Veikko
8
2015
Two natural deduction systems for hybrid logic: A comparison. Zbl 1039.03008
Braüner, Torben
8
2004
Residuation, structural rules and context freeness. Zbl 1039.03018
Jäger, Gerhard
8
2004
Strategic reasoning: building cognitive models from logical formulas. Zbl 1305.91051
Ghosh, Sujata; Meijering, Ben; Verbrugge, Rineke
8
2014
Strengthening Brady’s paraconsistent 4-valued logic BN4 with truth-functional modal operators. Zbl 1396.03045
Méndez, José M.; Robles, Gemma
8
2016
Cut and pay. Zbl 1108.03034
Finger, Marcelo; Gabbay, Dov
8
2006
Frege, contextuality and compositionality. Zbl 0961.03003
Janssen, Theo M. V.
7
2001
A refinement of de Bruijn’s formal language of mathematics. Zbl 1048.03011
Kamareddine, Fairouz; Nederpelt, Rob
7
2004
Unary quantifiers on finite models. Zbl 0880.03014
Väänänen, Jouko
7
1997
An update on “might”. Zbl 0887.03022
van der Does, Jaap; Groeneveld, Willem; Veltman, Frank
7
1997
On automating diagrammatic proofs of arithmetic arguments. Zbl 0941.03008
Jamnik, Mateja; Bundy, Alan; Green, Ian
7
1999
Substructural logics with mingle. Zbl 1003.03019
Kamide, Norihiro
7
2002
Speedith: a reasoner for spider diagrams. Zbl 1362.68252
Urbas, Matej; Jamnik, Mateja; Stapleton, Gem
7
2015
Probability logic of finitely additive beliefs. Zbl 1204.03027
Zhou, Chunlai
7
2010
On the logic of theory change: Contraction without recovery. Zbl 0905.03011
Fermé, Eduardo L.
7
1998
Resolving conflicting information. Zbl 0897.03027
Cantwell, John
7
1998
A logic for reasoning about knowledge of unawareness. Zbl 1311.03032
Ågotnes, Thomas; Alechina, Natasha
7
2014
The equivalence of tree adjoining grammars and monadic linear context-free tree grammars. Zbl 1274.68151
Kepser, Stephan; Rogers, Jim
7
2011
A modal loosely guarded fragment of second-order propositional modal logic. Zbl 07726399
Shtakser, Gennady
2
2023
Iterated AGM revision based on probability revision. Zbl 07753645
Hansson, Sven Ove
1
2023
An epistemic separation logic with action models. Zbl 07727821
van Ditmarsch, Hans; Galmiche, Didier; Gawek, Marta
1
2023
Belief revision and computational argumentation: a critical comparison. Zbl 1515.68298
Baroni, Pietro; Fermé, Eduardo; Giacomin, Massimiliano; Simari, Guillermo Ricardo
2
2022
Filtered belief revision: syntax and semantics. Zbl 1516.03009
Bonanno, Giacomo
2
2022
Anaphoric conservativity. Zbl 1515.03144
Zuber, R.
1
2022
IDL-PMCFG, a grammar formalism for describing free word order languages. Zbl 1515.68155
Hublet, François
1
2022
A reinterpretation of Beall’s ‘off-topic’ semantics. Zbl 1515.03122
Joaquin, Jeremiah Joven B.
1
2022
Possibility and dyadic contingency. Zbl 1515.03105
Pizzi, Claudio E. A.
1
2022
Logics with group announcements and distributed knowledge: completeness and expressive power. Zbl 1515.03068
Ågotnes, Thomas; Alechina, Natasha; Galimullin, Rustam
1
2022
Inquisitive propositional dynamic logic. Zbl 1496.03135
Punčochář, Vít; Sedlár, Igor
4
2021
Coalition and relativised group announcement logic. Zbl 1515.03070
Galimullin, Rustam
4
2021
Completeness for the classical antecedent fragment of inquisitive first-order logic. Zbl 1496.03121
Grilletti, Gianluca
2
2021
The multiplicative-additive Lambek calculus with subexponential and bracket modalities. Zbl 1496.03087
Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre
2
2021
Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation. Zbl 1515.03097
Kamide, Norihiro
2
2021
Verification and strategy synthesis for coalition announcement logic. Zbl 1496.03066
Alechina, Natasha; van Ditmarsch, Hans; Galimullin, Rustam; Wang, Tuo
1
2021
Performability of actions. Zbl 1496.03114
Czelakowski, Janusz
1
2021
A computational treatment of anaphora and its algorithmic implementation. Zbl 1496.03057
Bernardy, Jean-Philippe; Chatzikyriakidis, Stergios; Maskharashvili, Aleksandre
1
2021
A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\). Zbl 1496.03110
Robles, Gemma; Méndez, José M.
1
2021
Subatomic negation. Zbl 1496.03030
Więckowski, Bartosz
1
2021
Dynamic syntax. The dynamics of incremental processing: constraints on underspecification. Zbl 1517.03031
Howes, Christine; Gibson, Hannah
1
2021
A class of implicative expansions of Kleene’s strong logic, a subclass of which is shown functionally complete via the precompleteness of Łukasiewicz’s 3-valued logic Ł3. Zbl 1515.03125
Robles, Gemma; Méndez, José M.
1
2021
The class of all natural implicative expansions of Kleene’s strong logic functionally equivalent to Łukasiewicz’s 3-valued logic Ł3. Zbl 1477.03064
Robles, Gemma; Méndez, José M.
5
2020
Multi-agent logics for reasoning about higher-order upper and lower probabilities. Zbl 1477.03069
Doder, Dragan; Savić, Nenad; Ognjanović, Zoran
4
2020
On the logic of balance in social networks. Zbl 1435.03058
Xiong, Zuojun; Ågotnes, Thomas
3
2020
A four-valued dynamic epistemic logic. Zbl 1477.03043
Santos, Yuri David
2
2020
On relation between linear temporal logic and quantum finite automata. Zbl 1477.68147
Bhatia, Amandeep Singh; Kumar, Ajay
1
2020
Residual contraction. Zbl 1477.03038
Garapa, Marco; Reis, Maurício D. L.
1
2020
The thin red line, Molinism, and the flow of time. Zbl 1477.03045
De Florio, Ciro; Frigerio, Aldo
1
2020
On the logical philosophy of assertive graphs. Zbl 1477.03004
Chiffi, Daniele; Pietarinen, Ahti-Veikko
1
2020
Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base. Zbl 1477.68299
Robaldo, Livio; Bartolini, Cesare; Palmirani, Monica; Rossi, Arianna; Martoni, Michele; Lenzini, Gabriele
1
2020
Natural density and the quantifier “most”. Zbl 1477.03113
Topal, Selçuk; Çevik, Ahmet
1
2020
Group conformity in social networks. Zbl 1435.91138
Morrison, Colby; Naumov, Pavel
1
2020
A closeness- and priority-based logical study of social network creation. Zbl 1435.91139
Smets, Sonja; Velázquez-Quesada, Fernando R.
1
2020
Conditionals, causality and conditional probability. Zbl 1477.03019
van Rooij, Robert; Schulz, Katrin
5
2019
A type-driven vector semantics for ellipsis with anaphora using Lambek calculus with limited contraction. Zbl 1477.03115
Wijnholds, Gijs; Sadrzadeh, Mehrnoosh
4
2019
Parsing/theorem-proving for logical grammar CatLog3. Zbl 1478.68416
Morrill, Glyn
4
2019
On Beall’s new interpretation of \(WK_{3}\). Zbl 1477.03009
Francez, Nissim
4
2019
First-order definability of transition structures. Zbl 07099908
Rumberg, Antje; Zanardo, Alberto
2
2019
\(\mathrm{NL}_\lambda\) as the logic of scope and movement. Zbl 1477.03062
Barker, Chris
1
2019
Natural language semantics and computability. Zbl 1477.03112
Moot, Richard; Retoré, Christian
1
2019
On involutive nonassociative Lambek calculus. Zbl 1477.03063
Buszkowski, Wojciech
1
2019
A class of conceptual spaces consisting of boundaries of infinite \(p\)-ary trees. Zbl 1477.03114
Urban, Roman; Mróz, Simona
1
2019
Supercover semantics for deontic action logic. Zbl 1441.03020
Nygren, Karl
1
2019
Translation invariance and Miller’s weather example. Zbl 1446.03048
Paris, J. B.; Vencovská, A.
1
2019
Preferential accessibility and preferred worlds. Zbl 1509.03068
Britz, Katarina; Varzinczak, Ivan
5
2018
On the recognizing power of the Lambek calculus with brackets. Zbl 1427.03040
Kanazawa, Makoto
2
2018
The Cooper storage idiom. Zbl 1509.03086
Kobele, Gregory M.
2
2018
Diversification of object-languages for propositional logics. Zbl 1509.03074
Francez, Nissim
2
2018
Strategy analysis of non-consequence inference with Euler diagrams. Zbl 1509.03022
Sato, Yuri; Wajima, Yuichiro; Ueda, Kazuhiro
1
2018
On the modal logic of the non-orthogonality relation between quantum states. Zbl 1509.03073
Zhong, Shengyang
1
2018
Reverse public announcement operators on expanded models. Zbl 1441.03016
Haney, Ryuichi Sebastian
1
2018
Interactive semantic alignment model: social influence and local transmission bottleneck. Zbl 1419.91572
Kalociński, Dariusz; Mostowski, Marcin; Gierasimczuk, Nina
1
2018
What makes an effective representation of information: a formal account of observational advantages. Zbl 1368.68294
Stapleton, Gem; Jamnik, Mateja; Shimojima, Atsushi
12
2017
Adjectival and adverbial modification: the view from modern type theories. Zbl 1420.03055
Chatzikyriakidis, Stergios; Luo, Zhaohui
5
2017
Language-theoretic and finite relation models for the (full) Lambek calculus. Zbl 1420.03041
Wurm, Christian
3
2017
In all but finitely many possible worlds: model-theoretic investigations on ‘overwhelming majority’ default conditionals. Zbl 1420.03038
Koutras, Costas D.; Rantsoudis, Christos
1
2017
Set partitions and the meaning of the same. Zbl 1420.03058
Zuber, R.
1
2017
Transition semantics for branching time. Zbl 1396.03027
Rumberg, Antje
13
2016
Announcements to attentive agents. Zbl 1352.03021
Bolander, Thomas; van Ditmarsch, Hans; Herzig, Andreas; Lorini, Emiliano; Pardo, Pere; Schwarzentruber, François
10
2016
Strengthening Brady’s paraconsistent 4-valued logic BN4 with truth-functional modal operators. Zbl 1396.03045
Méndez, José M.; Robles, Gemma
8
2016
Reflecting on social influence in networks. Zbl 1396.03082
Christoff, Zoé; Hansen, Jens Ulrik; Proietti, Carlo
5
2016
Erotetic search scenarios and three-valued logic. Zbl 1355.03020
Leszczyńska-Jasion, Dorota; Łupkowski, Paweł
3
2016
Compositional signaling in a complex world. Zbl 1380.68372
Steinert-Threlkeld, Shane
3
2016
Subatomic natural deduction for a naturalistic first-order language with non-primitive identity. Zbl 1396.03110
Więckowski, Bartosz
2
2016
Blockage revision. Zbl 1353.03009
Hansson, Sven Ove
1
2016
Natural deduction for modal logic of judgment aggregation. Zbl 1396.03035
Perkov, Tin
1
2016
The evolution of compositionality in signaling games. Zbl 1380.91028
Franke, Michael
1
2016
A double team semantics for generalized quantifiers. Zbl 1350.03025
Kuusisto, Antti
22
2015
Weak negation in inquisitive semantics. Zbl 1369.03108
Punčochář, Vít
11
2015
On the diagrammatic representation of existential statements with Venn diagrams. Zbl 1350.03013
Moktefi, Amirouche; Pietarinen, Ahti-Veikko
8
2015
Speedith: a reasoner for spider diagrams. Zbl 1362.68252
Urbas, Matej; Jamnik, Mateja; Stapleton, Gem
7
2015
Expressive power of “now” and “then” operators. Zbl 1369.03110
Yanovich, Igor
6
2015
How diagrams can support syllogistic reasoning: an experimental study. Zbl 1350.03012
Sato, Yuri; Mineshima, Koji
5
2015
Dependence logic with a majority quantifier. Zbl 1368.03040
Durand, Arnaud; Ebbing, Johannes; Kontinen, Juha; Vollmer, Heribert
4
2015
Not only Barbara. Zbl 1350.03027
Dekker, Paul J. E.
3
2015
Preference change. Zbl 1345.03028
Cadilhac, Anaïs; Asher, Nicholas; Lascarides, Alex; Benamara, Farah
1
2015
A sequent calculus for urn logic. Zbl 1350.03043
French, Rohan
1
2015
Logic reduced to bare (proof-theoretical) bones. Zbl 1350.03044
Peregrin, Jaroslav
1
2015
An expressivist bilateral meaning-is-use analysis of classical propositional logic. Zbl 1369.03095
Cantwell, John
1
2015
Special issue on Euler and Venn diagrams: Guest editors’ introduction. Zbl 1349.03005
1
2015
Logical geometries and information in the square of oppositions. Zbl 1306.03005
Smessaert, Hans; Demey, Lorenz
40
2014
Dynamic epistemic logic for implicit and explicit beliefs. Zbl 1306.03009
Velázquez-Quesada, Fernando R.
12
2014
Strategic reasoning: building cognitive models from logical formulas. Zbl 1305.91051
Ghosh, Sujata; Meijering, Ben; Verbrugge, Rineke
8
2014
A logic for reasoning about knowledge of unawareness. Zbl 1311.03032
Ågotnes, Thomas; Alechina, Natasha
7
2014
Semantics for knowledge and change of awareness. Zbl 1305.68163
van Ditmarsch, Hans; French, Tim
6
2014
Hybrid-logical reasoning in the Smarties and Sally-Anne tasks. Zbl 1306.03010
Braüner, Torben
5
2014
Natural language inference in Coq. Zbl 1305.68193
Chatzikyriakidis, Stergios; Luo, Zhaohui
5
2014
Blocking the routes to triviality with depth relevance. Zbl 1323.03023
Robles, Gemma; Méndez, José M.
2
2014
On the identification of quantifiers’ witness sets: a study of multi-quantifier sentences. Zbl 1305.03030
Robaldo, Livio; Szymanik, Jakub; Meijering, Ben
2
2014
Generation and selection of abductive explanations for non-omniscient agents. Zbl 1305.68162
Soler-Toscano, Fernando; Velázquez-Quesada, Fernando R.
1
2014
Action type deontic logic. Zbl 1311.03036
Bentzen, Martin Mose
1
2014
A Hilbert-style axiomatisation for equational hybrid logic. Zbl 1305.03017
Barbosa, Luís S.; Martins, Manuel A.; Carreteiro, Marta
1
2014
Support and sets of situations. Zbl 1305.03031
Wiśniewski, Andrzej
1
2014
Equiparadoxicality of Yablo’s paradox and the liar. Zbl 1305.03009
Hsiung, Ming
5
2013
Inferential conditionals and evidentiality. Zbl 1305.03010
Krzyżanowska, K.; Wenmackers, S.; Douven, I.
5
2013
Easy solutions for a hard problem? The computational complexity of reciprocals with quantificational antecedents. Zbl 1305.68094
Schlotterbeck, Fabian; Bott, Oliver
4
2013
An analytic tableaux model for Deductive Mastermind empirically tested with a massively used online learning system. Zbl 1305.68197
Gierasimczuk, Nina; van der Maas, Han L. J.; Raijmakers, Maartje E. J.
3
2013
Prolegomena to a cognitive investigation of Euclidean diagrammatic reasoning. Zbl 1305.03008
Hamami, Yacin; Mumma, John
3
2013
Syllogisms in rudimentary linear logic, diagrammatically. Zbl 1305.03056
Pagnan, Ruggero
1
2013
...and 297 more Documents
all top 5

Cited by 1,737 Authors

30 van Benthem, Johan F. A. K.
30 van Ditmarsch, Hans Pieter
29 Coolen, Frank P. A.
27 Kamide, Norihiro
24 Wansing, Heinrich Theodor
22 Hansson, Sven Ove
21 Demey, Lorenz
20 Dubois, Didier
18 Gabbay, Dov M.
17 Robles, Gemma
16 Coolen-Maturi, Tahani
16 Galliani, Pietro
15 Kuznetsov, Stepan L’vovich
14 Kontinen, Juha
14 Lorini, Emiliano
14 Prade, Henri M.
14 Verbrugge, Rineke
13 Ågotnes, Thomas
13 Fermé, Eduardo Leopoldo
13 Méndez, José M.
13 Pacuit, Eric
12 Kooi, Barteld Pieter
12 Palmigiano, Alessandra
12 van der Hoek, Wiebe
12 Yang, Fan
11 Areces, Carlos
11 Marx, Maarten
11 Reis, Maurício D. L.
11 Velázquez-Quesada, Fernando Raymundo
10 Baltag, Alexandru
10 Braüner, Torben
10 Ghosh, Sujata
10 Martins, Manuel António
10 Meyer, Thomas Andreas
10 Rivieccio, Umberto
10 Smessaert, Hans
10 Smets, Sonja J. L.
10 Szymanik, Jakub
10 Wang, Yanjing
9 Benevides, Mario R. F.
9 Blackburn, Patrick
9 Ciardelli, Ivano A.
9 Finger, Marcelo
9 Madeira, Alexandre
9 Morrill, Glyn V.
9 Sadrzadeh, Mehrnoosh
9 Simari, Guillermo Ricardo
9 ten Cate, Balder David
9 Väänänen, Jouko Antero
8 Coolen-Schrijner, Pauline
8 Grädel, Erich
8 Herzig, Andreas
8 Kanovich, Max Iosifovich
8 Odintsov, Sergei P.
8 Rott, Hans
8 van Rooy, Robert
7 Balbiani, Philippe
7 Barbero, Fausto
7 Bochman, Alexander
7 Booth, Richard F.
7 Buszkowski, Wojciech
7 D’Agostino, Marcello
7 Falappa, Marcelo Alejandro
7 Flaminio, Tommaso
7 Francez, Nissim
7 Goranko, Valentin F.
7 Hoshi, Tomohiro
7 Humberstone, Lloyd
7 Ma, Minghui
7 Mikulás, Szabolcs
7 Parikh, Rohit
7 Petrukhin, Yaroslav Igorevich
7 Riečan, Beloslav
7 Rybakov, Vladimir Vladimirovich
7 Salvati, Sylvain
7 Sano, Katsuhiko
7 Scedrov, Andre
7 Shramko, Yaroslav V.
7 van Eijck, Jan
7 Wooldridge, Michael J.
6 Alechina, Natasha
6 Arieli, Ofer
6 Benferhat, Salem
6 Bonanno, Giacomo
6 Cantwell, John C.
6 de Rijke, Maarten
6 Demri, Stéphane P.
6 Figueira, Santiago
6 Garapa, Marco
6 García, Alejandro Javier
6 Jamnik, Mateja
6 Kuusisto, Antti
6 Lapenta, Serafina
6 Moss, Lawrence S.
6 Omori, Hitoshi
6 Otto, Martin
6 Schwarzentruber, François
6 Stapleton, Gem
6 Takemura, Ryo
6 Vakarelov, Dimiter
...and 1,637 more Authors
all top 5

Cited in 133 Journals

163 Journal of Logic, Language and Information
138 Studia Logica
117 Journal of Philosophical Logic
104 Synthese
76 Artificial Intelligence
75 Journal of Applied Non-Classical Logics
52 Theoretical Computer Science
47 Annals of Pure and Applied Logic
42 The Review of Symbolic Logic
36 Notre Dame Journal of Formal Logic
36 Journal of Applied Logic
31 Information and Computation
27 International Journal of Approximate Reasoning
24 Erkenntnis
22 Fuzzy Sets and Systems
21 The Journal of Symbolic Logic
21 Annals of Mathematics and Artificial Intelligence
20 Logica Universalis
19 Logic and Logical Philosophy
15 Journal of Statistical Theory and Practice
13 Journal of Automated Reasoning
13 Journal of Logical and Algebraic Methods in Programming
12 Archive for Mathematical Logic
11 Soft Computing
10 Journal of Computer and System Sciences
10 The Bulletin of Symbolic Logic
10 Logical Methods in Computer Science
9 Topoi
9 ACM Transactions on Computational Logic
8 Algebra Universalis
8 Information Sciences
7 MSCS. Mathematical Structures in Computer Science
7 Mathematical Logic Quarterly (MLQ)
7 International Game Theory Review
6 History and Philosophy of Logic
6 International Journal of Intelligent Systems
5 Journal of Statistical Planning and Inference
5 Theory of Computing Systems
4 Journal of Pure and Applied Algebra
4 Bulletin of the Section of Logic
4 Mathematical Social Sciences
4 Games and Economic Behavior
4 Communications in Statistics. Theory and Methods
4 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
4 Games
3 International Journal of Theoretical Physics
3 Information Processing Letters
3 Algebra and Logic
3 Journal of Algebra
3 Formal Aspects of Computing
3 Foundations of Science
3 Foundations of Physics
3 Nôus
3 Logicheskie Issledovaniya
2 Kybernetika
2 Mathematica Slovaca
2 Machine Learning
2 International Journal of Foundations of Computer Science
2 Annals of Physics
2 International Journal of Computer Mathematics
2 Linear Algebra and its Applications
2 Computational Statistics and Data Analysis
2 Applied Categorical Structures
2 The Journal of Artificial Intelligence Research (JAIR)
2 Theory and Practice of Logic Programming
2 Sibirskie Èlektronnye Matematicheskie Izvestiya
2 Journal of Siberian Federal University. Mathematics & Physics
1 ACM Computing Surveys
1 Acta Informatica
1 International Journal of General Systems
1 International Journal of Mathematical Education in Science and Technology
1 Journal of Statistical Physics
1 Mathematical Biosciences
1 Metrika
1 Bulletin of Mathematical Biology
1 Automatica
1 Journal of Combinatorial Theory. Series B
1 Journal of Mathematical Economics
1 Linguistics and Philosophy
1 Publications of the Research Institute for Mathematical Sciences, Kyoto University
1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste
1 SIAM Journal on Computing
1 Statistics & Probability Letters
1 Theoria. Segunda Epoca
1 Graphs and Combinatorics
1 Journal of Symbolic Computation
1 New Generation Computing
1 Annals of Operations Research
1 Random Structures & Algorithms
1 Neural Computation
1 Mathematica Bohemica
1 International Journal of Algebra and Computation
1 Communications in Statistics. Simulation and Computation
1 European Journal of Operational Research
1 SIAM Journal on Applied Mathematics
1 Indagationes Mathematicae. New Series
1 Cybernetics and Systems Analysis
1 Formal Methods in System Design
1 Economic Theory
1 International Transactions in Operational Research
...and 33 more Journals
all top 5

Cited in 37 Fields

1,458 Mathematical logic and foundations (03-XX)
692 Computer science (68-XX)
176 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
76 Order, lattices, ordered algebraic structures (06-XX)
41 Statistics (62-XX)
32 History and biography (01-XX)
27 General and overarching topics; collections (00-XX)
20 Probability theory and stochastic processes (60-XX)
18 Category theory; homological algebra (18-XX)
15 General algebraic systems (08-XX)
13 Combinatorics (05-XX)
13 Biology and other natural sciences (92-XX)
12 Quantum theory (81-XX)
11 Information and communication theory, circuits (94-XX)
7 Geometry (51-XX)
7 Operations research, mathematical programming (90-XX)
6 Numerical analysis (65-XX)
6 Relativity and gravitational theory (83-XX)
5 General topology (54-XX)
5 Mathematics education (97-XX)
4 Measure and integration (28-XX)
4 Dynamical systems and ergodic theory (37-XX)
3 Group theory and generalizations (20-XX)
2 Convex and discrete geometry (52-XX)
2 Statistical mechanics, structure of matter (82-XX)
1 Field theory and polynomials (12-XX)
1 Algebraic geometry (14-XX)
1 Linear and multilinear algebra; matrix theory (15-XX)
1 Associative rings and algebras (16-XX)
1 Real functions (26-XX)
1 Functional analysis (46-XX)
1 Algebraic topology (55-XX)
1 Mechanics of particles and systems (70-XX)
1 Optics, electromagnetic theory (78-XX)
1 Classical thermodynamics, heat transfer (80-XX)
1 Geophysics (86-XX)
1 Systems theory; control (93-XX)

Citations by Year