## Journal of Applied Non-Classical Logics

 Short Title: J. Appl. Non-Class. Log. Publisher: Taylor & Francis ISSN: 1166-3081; 1958-5780/e Online: http://www.tandfonline.com/loi/tncl20http://jancl.revuesonline.com/resnum.jsp Comments: Indexed cover-to-cover
 Documents Indexed: 512 Publications (since 1991) References Indexed: 478 Publications with 13,202 References.
all top 5

### Latest Issues

 32, No. 1 (2022) 31, No. 3-4 (2021) 31, No. 2 (2021) 31, No. 1 (2021) 30, No. 4 (2020) 30, No. 3 (2020) 30, No. 2 (2020) 30, No. 1 (2020) 29, No. 4 (2019) 29, No. 3 (2019) 29, No. 2 (2019) 29, No. 1 (2019) 28, No. 4 (2018) 28, No. 2-3 (2018) 28, No. 1 (2018) 27, No. 3-4 (2017) 27, No. 1-2 (2017) 26, No. 4 (2016) 26, No. 3 (2016) 26, No. 2 (2016) 26, No. 1 (2016) 25, No. 4 (2015) 25, No. 3 (2015) 25, No. 2 (2015) 25, No. 1 (2015) 24, No. 4 (2014) 24, No. 3 (2014) 24, No. 1-2 (2014) 23, No. 4 (2013) 23, No. 3 (2013) 23, No. 1-2 (2013) 22, No. 4 (2012) 22, No. 3 (2012) 22, No. 1-2 (2012) 21, No. 3-4 (2011) 21, No. 2 (2011) 21, No. 1 (2011) 20, No. 4 (2010) 20, No. 3 (2010) 20, No. 1-2 (2010) 19, No. 4 (2009) 19, No. 3 (2009) 19, No. 2 (2009) 19, No. 1 (2009) 18, No. 4 (2008) 18, No. 2-3 (2008) 18, No. 1 (2008) 17, No. 4 (2007) 17, No. 3 (2007) 17, No. 2 (2007) 17, No. 1 (2007) 16, No. 3-4 (2006) 16, No. 1-2 (2006) 15, No. 4 (2005) 15, No. 3 (2005) 15, No. 2 (2005) 15, No. 1 (2005) 14, No. 4 (2004) 14, No. 3 (2004) 14, No. 1-2 (2004) 13, No. 3-4 (2003) 13, No. 2 (2003) 13, No. 1 (2003) 12, No. 3-4 (2002) 12, No. 2 (2002) 12, No. 1 (2002) 11, No. 3-4 (2001) 11, No. 1-2 (2001) 10, No. 3-4 (2000) 10, No. 2 (2000) 10, No. 1 (2000) 9, No. 4 (1999) 9, No. 2-3 (1999) 9, No. 1 (1999) 8, No. 4 (1998) 8, No. 3 (1998) 8, No. 1-2 (1998) 7, No. 4 (1997) 7, No. 3 (1997) 7, No. 1-2 (1997) 6, No. 4 (1996) 6, No. 3 (1996) 6, No. 2 (1996) 6, No. 1 (1996) 5, No. 2 (1995) 5, No. 1 (1995) 4, No. 2 (1994) 4, No. 1 (1994) 3, No. 2 (1993) 3, No. 1 (1993) 2, No. 2 (1992) 2, No. 1 (1992) 1, No. 2 (1991) 1, No. 1 (1991)
all top 5

### Authors

 16 Balbiani, Philippe 9 Orłowska, Ewa S. 9 Robles, Gemma 8 Herzig, Andreas 7 Goranko, Valentin F. 7 Vakarelov, Dimiter 7 van Ditmarsch, Hans Pieter 6 Szałas, Andrzej 6 van Benthem, Johan F. A. K. 5 Cabalar, Pedro 5 Demolombe, Robert 5 Koutras, Costas D. 5 Petrukhin, Yaroslav Igorevich 4 Bergstra, Jan A. 4 Besnard, Philippe 4 Chakraborty, Mihir Kumar 4 Demri, Stéphane P. 4 Dubois, Didier 4 Düntsch, Ivo 4 Gabbay, Dov M. 4 Guelev, Dimitar P. 4 Sayed Ahmed, Tarek 4 Schlechta, Karl 4 Tinchev, Tinko 3 Ågotnes, Thomas 3 Amgoud, Leila 3 Aucher, Guillaume 3 Broersen, Jan M. 3 Cerrito, Serenella 3 Cialdea Mayer, Marta 3 Coniglio, Marcelo Esteban 3 de Guzmán, Inmaculada Pérez 3 Diéguez, Martín 3 Fariñas del Cerro, Luis 3 Gencer, Çigdem 3 Golińska-Pilarek, Joanna 3 Hartonas, Chrysafis 3 Kamide, Norihiro 3 Konikowska, Beata 3 Lorini, Emiliano 3 Montanari, Angelo 3 Muravitsky, Alexei Yu. 3 Nour, Karim 3 Ponse, Alban 3 Prade, Henri M. 3 Pynko, Alexej P. 3 Rybakov, Vladimir Vladimirovich 3 Sagastume, Marta S. 3 van der Hoek, Wiebe 3 van der Torre, Leendert W. N. 3 Wagner, Gerd 3 Wansing, Heinrich Theodor 3 Wu, Jinzhao 2 Aguado, Felicidad 2 Agudelo-Agudelo, Juan C. 2 Alferes, José Júlio 2 Baratella, Stefano 2 Belikov, Alex 2 Belluce, Lawrence Peter 2 Benferhat, Salem 2 Bennett, Brandon 2 Bethke, Inge 2 Bloch, Isabelle 2 Burrieza, Alfredo 2 Carnielli, Walter Alexandre 2 Clarke, Michael R. B. 2 Conradie, Willem 2 Cubillo, Susana 2 Da Ré, Bruno 2 Dastani, Mehdi M. 2 Di Nola, Antonio 2 Dixon, Clare 2 Doherty, Patrick 2 D’Ottaviano, Itala M. Loffredo 2 Engelfriet, Joeri 2 Fan, Xiaocong 2 Fernández, Víctor L. 2 Formisano, Andrea 2 French, Tim 2 Froidevaux, Christine 2 Georgatos, Konstantinos 2 Godo, Lluís 2 Gonçalves, Ricardo 2 Grégoire, Éric 2 Hansson, Sven Ove 2 Heinemann, Bernhard 2 Hunter, Anthony 2 Jacquette, Dale 2 Jenei, Sándor 2 Kern-Isberner, Gabriele 2 Kohlhase, Michael 2 Konieczny, Sébastien 2 Liau, Churn-Jung 2 Lima-Marques, Mamede 2 Marquis, Pierre 2 Masini, Andrea 2 Meyer, John-Jules Charles 2 Moszkowski, Ben C. 2 Nguyen, Linh Anh 2 Nicolosi Asmundo, Marianna ...and 530 more Authors
all top 5

### Fields

 445 Mathematical logic and foundations (03-XX) 221 Computer science (68-XX) 25 Order, lattices, ordered algebraic structures (06-XX) 13 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 10 General and overarching topics; collections (00-XX) 9 General topology (54-XX) 6 History and biography (01-XX) 6 Information and communication theory, circuits (94-XX) 4 General algebraic systems (08-XX) 3 Category theory; homological algebra (18-XX) 3 Geometry (51-XX) 3 Biology and other natural sciences (92-XX) 2 Commutative algebra (13-XX) 2 Quantum theory (81-XX) 1 Combinatorics (05-XX) 1 Number theory (11-XX) 1 Field theory and polynomials (12-XX) 1 Associative rings and algebras (16-XX) 1 Mechanics of particles and systems (70-XX)

### Citations contained in zbMATH Open

332 Publications have been cited 1,840 times in 1,489 Documents Cited by Year
Dynamic logic for belief revision. Zbl 1186.03033
van Benthem, Johan
2007
Argument-based extended logic programming with defeasible priorities. Zbl 0877.68019
Prakken, Henry; Sartor, Giovanni
1997
Dynamic logic of preference upgrade. Zbl 1186.03034
van Benthem, Johan; Liu, Fenrong
2007
Epistemic planning for single- and multi-agent systems. Zbl 1242.68285
Bolander, Thomas; Andersen, Mikkel Birkegaard
2011
Structure of left-continuous triangular norms with strong induced negations. II: Rotation-annihilation construction. Zbl 1037.03508
Jenei, Sándor
2001
Structure of left-continuous triangular norms with strong induced negations. I: Rotation construction. Zbl 1033.03512
Jenei, Sándor
2000
Modal logics with Belnapian truth values. Zbl 1242.03050
Odintsov, Sergei P.; Wansing, Heinrich
2010
A road map of interval temporal logics and duration calculi. Zbl 1181.03012
Goranko, V.; Montanari, A.; Sciavicco, G.
2004
Constructive negation, implication, and co-implication. Zbl 1181.03027
Wansing, Heinrich
2008
Constructive knowledge: what agents can achieve under imperfect information. Zbl 1186.03031
Jamroga, Wojciech; Ågotnes, Thomas
2007
Semi-revision. Zbl 0869.03017
Hansson, Sven
1997
Some (in)translatability results for normal logic programs and propositional theories. Zbl 1184.68160
Janhunen, Tomi
2006
Functional completeness and axiomatizability within Belnap’s four-valued logic and its expansions. Zbl 1033.03017
Pynko, Alexej P.
1999
A proximity approach to some region-based theories of space. Zbl 1185.68682
Vakarelov, Dimiter; Dimov, Georgi; Düntsch, Ivo; Bennett, Brandon
2002
Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System $$P$$. Zbl 1038.03023
Biazzo, Veronica; Gilio, Angelo; Lukasiewicz, Thomas; Sanfilippo, Giuseppe
2002
Expressivity and completeness for public update logics via reduction axioms. Zbl 1185.03014
Kooi, Barteld
2007
A propositional logic with 4 values: true, false, divergent and meaningless. Zbl 0843.03012
Bergstra, Jan A.; Bethke, Inge; Rodenburg, Piet
1995
Knowledge, uncertainty and ignorance in logic: Bilattices and beyond. Zbl 0993.03079
Gargov, George
1999
“Everywhere” and “here”. Zbl 0993.03020
Shehtman, Valentin
1999
On the tractable counting of theory models and its application to truth maintenance and belief revision. Zbl 1033.03505
2001
An infinity of super-Belnap logics. Zbl 1398.03112
Rivieccio, Umberto
2012
On Priest’s logic of paradox. Zbl 0841.03008
Pynko, Alexej P.
1995
A computational interpretation of conceptivism. Zbl 1398.03142
Ferguson, T. M.
2014
Distributed knowledge. Zbl 1186.03032
Roelofsen, Floris
2007
The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic. Zbl 1186.03043
Esakia, Leo
2006
Varieties of MV-algebras. Zbl 1031.06010
Panti, Giovanni
1999
Defining LFIs and LFUs in extensions of infectious logics. Zbl 1398.03138
Szmuc, Damian Enrique
2016
On the semantics of graded modalities. Zbl 0797.03013
van der Hoek, Wiebe
1992
Graded consequence: Further studies. Zbl 0839.03010
Chakraborty, M. K.
1995
Some considerations on the logics $$P_ FD$$. A logic combining modality and probability. Zbl 0885.03022
van der Hoeck, Wiebe
1997
Model-checking $$\mathrm{CTL}^*$$ over flat Presburger counter systems. Zbl 1242.68157
Demri, Stéphane; Finkel, Alain; Goranko, Valentin; van Drimmelen, Govert
2010
Decidability and incompleteness results for first-order temporal logics of linear time. Zbl 0790.03019
Merz, Stephan
1992
Computing generalized specificity. Zbl 1185.68679
Stolzenburg, Frieder; García, Alejandro J.; Chesñevar, Carlos I.; Simari, Guillermo R.
2003
A modal walk through space. Zbl 1185.03060
Aiello, Marco; van Benthem, Johan
2002
Graded consequence relations and fuzzy closure operator. Zbl 0872.03012
Gerla, Giangiacomo
1996
A framework for iterated revision. Zbl 1033.03506
Konieczny, Sébastien; Pino Pérez, Ramón
2000
Justifications for common knowledge. Zbl 1242.03036
Bucheli, Samuel; Kuznets, Roman; Studer, Thomas
2011
Temporal equilibrium logic: a survey. Zbl 1400.68199
2013
Logical limits of abstract argumentation frameworks. Zbl 1400.68201
Amgoud, Leila; Besnard, Philippe
2013
On consequence in approximate reasoning. Zbl 0794.03032
Castro, J. L.; Trillas, E.; Cubillo, S.
1994
Brief study of $$\text{G}'_3$$ logic. Zbl 1180.03031
Osorio Galindo, Mauricio; Carballido Carranza, José Luis
2008
Modal logics based on mathematical morphology for qualitative spatial reasoning. Zbl 1185.03025
Bloch, Isabelle
2002
A canonical model of the region connection calculus. Zbl 1185.03061
Renz, Jochen
2002
A tableau-based proof method for temporal logics of knowledge and belief. Zbl 0926.03011
Wooldridge, Michael; Dixon, Clare; Fisher, Michael
1998
Belnap-Dunn semantics for natural implicative expansions of Kleene’s strong three-valued matrix with two designated values. Zbl 1444.03092
Robles, Gemma; Méndez, José M.
2019
PDL with intersection of programs: a complete axiomatization. Zbl 1181.03030
Balbiani, P.; Vakarelov, D.
2003
A hierarchical completeness proof for propositional interval temporal logic with finite time. Zbl 1181.03015
Moszkowski, B.
2004
What groups do, can do, and know they can do: an analysis in normal modal logics. Zbl 1210.03015
Broersen, Jan; Herzig, Andreas; Troquard, Nicolas
2009
Regression in modal logic. Zbl 1185.03028
Demolombe, Robert; Herzig, Andreas; Varzinczak, Ivan
2003
$$\mu$$-programs, uniform interpolation and bisimulation quantifiers for modal logics. Zbl 1186.03054
D’Agostino, Giovanna; Lenzi, Giacomo; French, Tim
2006
BDD-based decision procedures for the modal logic K. Zbl 1184.68466
Pan, Guoqiang; Sattler, Ulrike; Vardi, Moshe Y.
2006
Possible-translations semantics for some weak classically-based paraconsistent logics. Zbl 1187.03025
Marcos, João
2008
A multi-dimensional terminological knowledge representation language. Zbl 0845.68098
1995
Local possibilistic logic. Zbl 0886.03018
Boldrin, Luca; Sossai, Claudio
1997
Process algebra with four-valued logic. Zbl 1036.68067
Bergstra, Jan A.; Ponse, Alban
2000
DEL-sequents for regression and epistemic planning. Zbl 1398.03068
Aucher, Guillaume
2012
Fuzzy concept lattice reduction using Shannon entropy and Huffman coding. Zbl 1400.68209
Singh, Prem Kumar; Gani, Abdullah
2015
Note on a six-valued extension of three-valued logic. Zbl 0806.03019
Font, Josep M.; Moussavi, Massoud
1993
PDL for ordered trees. Zbl 1185.03056
Afanasiev, Loredana; Blackburn, Patrick; Dimitriou, Ioanna; Gaiffe, Bertrand; Goris, Evan; Marx, Maarten; de Rijke, Maarten
2005
KAT-ML: an interactive theorem prover for Kleene algebra with tests. Zbl 1184.68457
Aboul-Hosn, Kamal; Kozen, Dexter
2006
Non-Archimedean fuzzy and probability logic. Zbl 1187.03024
Schumann, Andrew
2008
On the semantics of combination operations. Zbl 1041.68095
Meyer, Thomas
2001
Regular bilattices. Zbl 1031.06005
Pynko, Alexej P.
2000
An empirical analysis of modal theorem provers. Zbl 1033.03501
1999
Logics for multi-subset spaces. Zbl 1242.03039
Heinemann, Bernhard
2010
Some remarks on the model theory of epistemic plausibility models. Zbl 1242.03037
Demey, Lorenz
2011
LTL model checking for security protocols. Zbl 1186.68276
Armando, Alessandro; Carbone, Roberto; Compagna, Luca
2009
The modal multilogic of geometry. Zbl 0921.03022
Balbiani, Philippe
1998
A hierarchy of modal logics with relative accessibility relations. Zbl 0989.03018
Balbiani, Philippe; Orlowska, Ewa
1999
A modal theorem-preserving translation of a class of three-valued logics of incomplete information. Zbl 1398.03107
Ciucci, D.; Dubois, D.
2013
Separation logics and modalities: a survey. Zbl 1398.03151
Demri, Stéphane; Deters, Morgan
2015
Semantical analysis of weak Kleene logics. Zbl 1444.03087
Ciuni, Roberto; Carrara, Massimiliano
2019
A catalog of weak many-valued modal axioms and their corresponding frame classes. Zbl 1185.03031
Koutras, Costas D.
2003
A first step towards modeling semistructured data in hybrid multimodal logic. Zbl 1185.68290
Bidoit, Nicole; Cerrito, Serenella; Thion, Virginie
2004
On the strength and scope of DLS. Zbl 1186.03042
2006
Foundations of the rule-based system $$\rho\,\text{Log}$$. Zbl 1184.68175
Marin, Mircea; Kutsia, Temur
2006
Roadmap for preferential logics. Zbl 1187.03026
Gabbay, Dov M.; Schlechta, Karl
2009
Relevance sensitive non-monotonic inference on belief sequences. Zbl 1041.68093
Chopra, Samir; Georgatos, Konstantinos; Parikh, Rohit
2001
Fuzzy inference as deduction. Zbl 1033.03018
Godo, Lluís; Hájek, Petr
1999
Continuity, freeness, and filtrations. Zbl 1242.03049
Ghilardi, Silvio
2010
An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking. Zbl 1242.68161
Guelev, Dimitar P.; Dima, Cătălin; Enea, Constantin
2011
Composing models. Zbl 1242.03043
van Eijck, Jan; Sietsma, Floor; Wang, Yanjing
2011
Model-based recasting in answer-set programming. Zbl 1400.68048
Eiter, Thomas; Fink, Michael; Pührer, Jörg; Tompits, Hans; Woltran, Stefan
2013
Temporal STIT logic and its application to normative reasoning. Zbl 1398.03080
Lorini, Emiliano
2013
Finite non-deterministic semantics for some modal systems. Zbl 1398.03089
Coniglio, Marcelo E.; Fariñas del Cerro, Luis; Peron, Newton M.
2015
From KLM-style conditionals to defeasible modalities, and back. Zbl 1436.03129
Britz, Katarina; Varzinczak, Ivan
2018
Two over three: A two-valued logic for software specification and validation over a three-valued predicate calculus. Zbl 0802.03028
Konikowska, Beata
1993
Algorithmic correspondence and completeness in modal logic. IV. Semantic extensions of SQEMA. Zbl 1181.03007
2008
Combining valuations with society semantics. Zbl 1185.03055
Fernández, Víctor L.; Coniglio, Marcelo E.
2003
Belief base merging as a game. Zbl 1185.68693
Konieczny, Sébastien
2004
Modal logics for parallelism, orthogonality, and affine geometries. Zbl 1185.03024
Balbiani, Philippe; Goranko, Valentin
2002
Exploiting data dependencies in many-valued logics. Zbl 0836.03013
Hähnle, Reiner
1996
Quantifiers, modifiers and qualifiers in fuzzy logic. Zbl 0885.03024
1997
On representability of neatly embeddable cylindric algebras. Zbl 1033.03520
Ferenczi, Miklós
2000
Some modal aspects of XPath. Zbl 1242.68010
ten Cate, Balder; Fontaine, Gaëlle; Litak, Tadeusz
2010
Automatic verification of temporal-epistemic properties of cryptographic protocols. Zbl 1186.68105
Boureanu, Ioana; Cohen, Mika; Lomuscio, Alessio
2009
The trivial object and the non-triviality of a semantically closed theory with descriptions. Zbl 0934.03035
Priest, Graham
1998
Some properties of system descriptions of $$\mathcal{AL}_d$$. Zbl 1400.68207
Gelfond, Michael; Inclezan, Daniela
2013
Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics. Zbl 1398.03135
Avron, Arnon
2014
Putting right the wording and the proof of the truth lemma for APAL. Zbl 1398.03069
Balbiani, Philippe
2015
Logics of variable inclusion and the lattice of consequence relations. Zbl 1486.03020
Pra Baldi, Michele
2020
Exactly true and non-falsity logics meeting infectious ones. Zbl 1486.03047
Belikov, Alex; Petrukhin, Yaroslav
2020
The logic of modal changes LMC. Zbl 1452.03060
Łyczak, Marcin
2020
A basic quasi-Boolean logic of intuitionistic character. Zbl 1486.03044
Robles, Gemma
2020
Metainferential duality. Zbl 1486.03043
Da Ré, Bruno; Pailos, Federico; Szmuc, Damian; Teijeiro, Paula
2020
A logic of negative trust. Zbl 1486.03053
Primiero, G.
2020
Structural proof theory for first-order weak Kleene logics. Zbl 1486.03048
2020
Belnap-Dunn semantics for natural implicative expansions of Kleene’s strong three-valued matrix with two designated values. Zbl 1444.03092
Robles, Gemma; Méndez, José M.
2019
Semantical analysis of weak Kleene logics. Zbl 1444.03087
Ciuni, Roberto; Carrara, Massimiliano
2019
A family of metainferential logics. Zbl 1444.03084
Pailos, Federico Matias
2019
Axiomatic and dual systems for constructive necessity, a formally verified equivalence. Zbl 1444.03054
González Huesca, Lourdes del Carmen; Miranda-Perea, Favio E.; Linares-Arévalo, P. Selene
2019
Belnap-Dunn semantics for natural implicative expansions of Kleene’s strong three-valued matrix. II: Only one designated value. Zbl 1484.03043
Robles, Gemma; Salto, Francisco; Méndez, José M.
2019
Two proofs of the algebraic completeness theorem for multilattice logic. Zbl 1444.03089
Grigoriev, Oleg; Petrukhin, Yaroslav
2019
On Vidal’s trivalent explanations for defective conditional in mathematics. Zbl 1444.03091
Petrukhin, Yaroslav; Shangin, Vasily
2019
MVW-rigs and product MV-algebras. Zbl 1439.06008
2019
Lattice logic as a fragment of (2-sorted) residuated modal logic. Zbl 1444.03057
Hartonas, Chrysafis
2019
Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning. Zbl 1444.03183
Aiguier, Marc; Bloch, Isabelle
2019
From KLM-style conditionals to defeasible modalities, and back. Zbl 1436.03129
Britz, Katarina; Varzinczak, Ivan
2018
Assertive graphs. Zbl 1436.03020
Bellucci, F.; Chiffi, Daniele; Pietarinen, A.-V.
2018
Truth without standard models: some conceptual problems reloaded. Zbl 1436.03016
Barrio, Eduardo; Da Ré, Bruno
2018
Arguing about constitutive and regulative norms. Zbl 1436.03141
Pigozzi, Gabriella; van der Torre, Leendert
2018
Ponse, Alban; Staudt, Daan J. C.
2018
Abduction in argumentation frameworks. Zbl 1436.68328
Sakama, Chiaki
2018
Initial sets in abstract argumentation frameworks. Zbl 1436.68329
Xu, Yuming; Cayrol, Claudette
2018
Continuous propositional modal logic. Zbl 1436.03127
Baratella, Stefano
2018
Doxastic logic: a new approach. Zbl 1436.03115
Rönnedal, Daniel
2018
Fuzzy intensional semantics. Zbl 07001323
Běhounek, Libor; Majer, Ondrej
2018
$$KD$$ is nullary. Zbl 1398.03086
Balbiani, Philippe; Gencer, Çiğdem
2017
Unification in epistemic logics. Zbl 1398.03070
Balbiani, Philippe; Gencer, Çiğdem
2017
A general framework for dynamic epistemic logic: towards canonical correspondences. Zbl 1398.03073
Motoura, Shota
2017
Judgement aggregation in non-classical logics. Zbl 1398.03102
Porello, Daniele
2017
A mereotopology based on sequent algebras. Zbl 1398.03147
Vakarelov, Dimiter
2017
A short biography of Luis Fariñas del Cerro. Zbl 1401.01029
Cabalar, Pedro; Diéguez, Martín; Herzig, Andreas; Pearce, David
2017
Temporal equilibrium logic with past operators. Zbl 1398.03077
2017
Foundations for a logic of arguments. Zbl 1398.03066
Amgoud, Leila; Besnard, Philippe; Hunter, Anthony
2017
Reasoning about trust and aboutness in the context of communication. Zbl 1400.68236
Demolombe, Robert
2017
Mixed algebras and their logics. Zbl 1398.03209
Düntsch, Ivo; Orłowska, Ewa; Tinchev, Tinko
2017
Dynamic epistemic logics: promises, problems, shortcomings, and perspectives. Zbl 1398.03072
Herzig, Andreas
2017
Defining LFIs and LFUs in extensions of infectious logics. Zbl 1398.03138
Szmuc, Damian Enrique
2016
The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic. Zbl 1398.03109
Méndez, José M.; Robles, Gemma
2016
Knowledge means ‘all’, belief means ‘most’. Zbl 1398.03067
Askounis, Dimitris; Koutras, Costas D.; Zikos, Yorgos
2016
First-order frames for orthomodular quantum logic. Zbl 1398.03211
Hartonas, Chrysafis
2016
Propositional quantification in logics of contingency. Zbl 1398.03098
van Ditmarsch, Hans; Fan, Jie
2016
On polynomial semantics for propositional logics. Zbl 1398.03134
Agudelo-Agudelo, Juan C.; Agudelo-González, Carlos A.; García-Quintero, Oscar E.
2016
Errata and addenda to: “Finite non-deterministic semantics for some modal systems”. Zbl 1398.03090
Coniglio, Marcelo E.; Fariñas del Cerro, Luis; Peron, Newton M.
2016
Axiomatisation of general concept inclusions from finite interpretations. Zbl 1400.68206
Borchmann, D.; Distel, F.; Kriegel, F.
2016
A comparison between monoidal and substructural logics. Zbl 1398.03101
Peterson, Clayton
2016
In defence of a logic for ‘because’. Zbl 1398.03036
Schnieder, B.
2016
Game theoretical semantics for some non-classical logics. Zbl 1398.03136
Başkent, Can
2016
On a paraconsistentization functor in the category of consequence structures. Zbl 1398.03140
de Souza, Edelcio G.; Costa-Leite, Alexandre; Dias, Diogo H. B.
2016
Fuzzy concept lattice reduction using Shannon entropy and Huffman coding. Zbl 1400.68209
Singh, Prem Kumar; Gani, Abdullah
2015
Separation logics and modalities: a survey. Zbl 1398.03151
Demri, Stéphane; Deters, Morgan
2015
Finite non-deterministic semantics for some modal systems. Zbl 1398.03089
Coniglio, Marcelo E.; Fariñas del Cerro, Luis; Peron, Newton M.
2015
Putting right the wording and the proof of the truth lemma for APAL. Zbl 1398.03069
Balbiani, Philippe
2015
Substructural epistemic logics. Zbl 1398.03074
Sedlár, Igor
2015
A problem for a logic of ‘because’. Zbl 1398.03045
Tsohatzidis, Savas L.
2015
Note on paraconsistency and reasoning about fractions. Zbl 1398.03137
Bergstra, Jan A.; Bethke, Inge
2015
Varying interpolation and amalgamation in polyadic MV-algebras. Zbl 1398.06009
Ahmed, Tarek Sayed
2015
Expressiveness and succinctness of a logic of robustness. Zbl 1400.68137
McCabe-Dansted, John C.; French, Tim; Pinchinat, Sophie; Reynolds, Mark
2015
A new framework for justification logic. Zbl 1398.03071
Giordani, Alessandro
2015
A computational interpretation of conceptivism. Zbl 1398.03142
Ferguson, T. M.
2014
Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics. Zbl 1398.03135
Avron, Arnon
2014
Foreword: three-valued logics and their applications. Zbl 1398.00089
Cobreros, Pablo; Égré, Paul; Ripley, David; van Rooij, Robert
2014
The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points. Zbl 1398.03103
Robles, Gemma; Méndez, José M.
2014
Capturing the relationship between conditionals and conditional probability with a trivalent semantics. Zbl 1398.03105
Rothschild, Daniel
2014
The defective conditional in mathematics. Zbl 1398.03047
Vidal, Mathieu
2014
Equivalence in logic-based argumentation. Zbl 1400.68202
Amgoud, Leila; Besnard, Philippe; Vesic, Srdjan
2014
Variants of multi-relational semantics for propositional non-normal modal logics. Zbl 1398.03088
Calardo, Erica; Rotolo, Antonino
2014
Modeling the suppression task under weak completion and well-founded semantics. Zbl 1398.03152
Dietz, Emmanuelle-Anna; Hölldobler, Steffen; Wernhard, Christoph
2014
Some remarks on certain trivalent accounts of presupposition projection. Zbl 1398.03149
George, Benjamin R.
2014
Remarks on the Gupta-Belnap fixed-point property for $$k$$-valued clones. Zbl 1398.03108
Martínez-Fernández, José
2014
Trivalent logics arising from L-models for the Lambek calculus with constants. Zbl 1398.03100
Kuznetsov, S. L.
2014
Minimal models vs. logic programming: the case of counterfactual conditionals. Zbl 1398.03145
Schulz, Katrin
2014
Prior’s OIC nonconservativity example revisited. Zbl 1398.03141
Humberstone, Lloyd
2014
Temporal equilibrium logic: a survey. Zbl 1400.68199
2013
Logical limits of abstract argumentation frameworks. Zbl 1400.68201
Amgoud, Leila; Besnard, Philippe
2013
A modal theorem-preserving translation of a class of three-valued logics of incomplete information. Zbl 1398.03107
Ciucci, D.; Dubois, D.
2013
Model-based recasting in answer-set programming. Zbl 1400.68048
Eiter, Thomas; Fink, Michael; Pührer, Jörg; Tompits, Hans; Woltran, Stefan
2013
Temporal STIT logic and its application to normative reasoning. Zbl 1398.03080
Lorini, Emiliano
2013
Some properties of system descriptions of $$\mathcal{AL}_d$$. Zbl 1400.68207
Gelfond, Michael; Inclezan, Daniela
2013
Multiple agent possibilistic logic. Zbl 1400.68217
2013
On the relation between SPARQL1.1 and answer set programming. Zbl 1400.68065
Polleres, Axel; Wallner, Johannes Peter
2013
Deciding the unguarded modal $$\mu$$-calculus. Zbl 1398.03092
Friedmann, Oliver; Lange, Martin
2013
RASP and ASP as a fragment of linear logic. Zbl 1400.68047
Costantini, Stefania; Formisano, Andrea
2013
Functional completion. Zbl 1400.68205
2013
On deductive bases for paraconsistent answer set semantics. Zbl 1400.68050
Mayatskiy, N. V.; Odintsov, S. P.
2013
The infinite-valued semantics: overview, recent results and future directions. Zbl 1400.68051
Rondogiannis, Panos; Troumpoukis, Antonis
2013
An infinity of super-Belnap logics. Zbl 1398.03112
Rivieccio, Umberto
2012
DEL-sequents for regression and epistemic planning. Zbl 1398.03068
Aucher, Guillaume
2012
Programming norm change. Zbl 1400.68055
Dastani, Mehdi; Meyer, John-Jules; Tinnemeier, Nick
2012
Public announcements, public assignments and the complexity of their logic. Zbl 1398.03076
van Ditmarsch, Hans; Herzig, Andreas; de Lima, Tiago
2012
Some calculus for a logic of change. Zbl 1398.03082
Świetorzecka, Kordula; Czermak, Johannes
2012
Search for syllogistic structure of semantic information. Zbl 1398.94070
Schroeder, Marcin J.
2012
A discussion on quantum non-individuality. Zbl 1400.81009
Krause, Décio; Arenhart, Jonas R. Becker
2012
Adaptively applying modus ponens in conditional logics of normality. Zbl 1398.03146
Straßer, Christian
2012
Modal logics for reasoning about infinite unions and intersections of binary relations. Zbl 1398.03084
Alechina, Natasha; Balbiani, Philippe; Shkatov, Dmitry
2012
Epistemic planning for single- and multi-agent systems. Zbl 1242.68285
Bolander, Thomas; Andersen, Mikkel Birkegaard
2011
Justifications for common knowledge. Zbl 1242.03036
Bucheli, Samuel; Kuznets, Roman; Studer, Thomas
2011
Some remarks on the model theory of epistemic plausibility models. Zbl 1242.03037
Demey, Lorenz
2011
An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking. Zbl 1242.68161
Guelev, Dimitar P.; Dima, Cătălin; Enea, Constantin
2011
...and 232 more Documents
all top 5

### Cited by 1,561 Authors

 37 van Ditmarsch, Hans Pieter 26 van Benthem, Johan F. A. K. 23 Balbiani, Philippe 20 Wansing, Heinrich Theodor 18 Gabbay, Dov M. 17 Ågotnes, Thomas 16 Montanari, Angelo 15 Simari, Guillermo Ricardo 14 Pynko, Alexej P. 13 Bezhanishvili, Guram 13 Demri, Stéphane P. 13 Dubois, Didier 13 Kamide, Norihiro 13 Smets, Sonja J. L. 13 Vakarelov, Dimiter 12 Amgoud, Leila 12 Bergstra, Jan A. 12 Godo, Lluís 12 Goranko, Valentin F. 12 Herzig, Andreas 12 Lorini, Emiliano 12 Ognjanović, Zoran 12 Ponse, Alban 12 Robles, Gemma 12 Velázquez-Quesada, Fernando Raymundo 11 Baltag, Alexandru 11 Schaub, Torsten H. 11 Sciavicco, Guido 10 Dixon, Clare 10 Gilio, Angelo 10 Odintsov, Sergei P. 10 Pacuit, Eric 10 Schwarzentruber, François 10 Wang, Yanjing 9 Arieli, Ofer 9 Avron, Arnon 9 Düntsch, Ivo 9 Jamroga, Wojciech 9 Jenei, Sándor 9 Prade, Henri M. 9 Rivieccio, Umberto 9 van der Hoek, Wiebe 9 Woltran, Stefan 8 Bloch, Isabelle 8 Bolander, Thomas 8 Falappa, Marcelo Alejandro 8 Fariñas del Cerro, Luis 8 Hansson, Sven Ove 8 Hunter, Anthony 8 Konieczny, Sébastien 8 Naumov, Pavel G. 8 Özgün, Aybüke 8 Petrukhin, Yaroslav Igorevich 8 Sala, Pietro 8 Sanfilippo, Giuseppe 8 Shramko, Yaroslav V. 8 Studer, Thomas 8 Varzinczak, Ivan Jóse 8 Wolter, Frank 8 Zakharyaschev, Michael Viktorovich 7 Bozzelli, Laura 7 Bresolin, Davide 7 Cabalar, Pedro 7 Chakraborty, Mihir Kumar 7 Fervari, Raul 7 French, Tim 7 Guelev, Dimitar P. 7 Kern-Isberner, Gabriele 7 Mesiar, Radko 7 Orłowska, Ewa S. 7 Pino Pérez, Ramón 7 Rašković, Miodrag D. 7 Szałas, Andrzej 7 Szmuc, Damian Enrique 7 Vetterlein, Thomas 6 Bezhanishvili, Nick 6 Bonzio, Stefano 6 Caminada, Martin W. A. 6 Chesñevar, Carlos Iván 6 Conradie, Willem 6 De Baets, Bernard 6 Dimov, Georgi D. 6 Doder, Dragan 6 Esteva, Francesc 6 Finkel, Alain 6 Gabelaia, David 6 García, Alejandro Javier 6 Golińska-Pilarek, Joanna 6 Liu, Fenrong 6 Lutz, Carsten 6 Omori, Hitoshi 6 Rendsvig, Rasmus Kræmmer 6 Sano, Katsuhiko 6 Sayed Ahmed, Tarek 6 Simari, Gerardo I. 6 Singh, Prem Kumar 6 Tao, Jia 6 Tinchev, Tinko 5 Alechina, Natasha 5 Alviano, Mario ...and 1,461 more Authors
all top 5

### Cited in 127 Journals

 117 Studia Logica 112 Artificial Intelligence 111 Journal of Applied Non-Classical Logics 70 Journal of Philosophical Logic 69 Fuzzy Sets and Systems 67 International Journal of Approximate Reasoning 50 Synthese 49 Annals of Mathematics and Artificial Intelligence 45 Journal of Logic, Language and Information 39 Theoretical Computer Science 37 Journal of Applied Logic 30 Theory and Practice of Logic Programming 29 Annals of Pure and Applied Logic 27 Logica Universalis 25 The Review of Symbolic Logic 23 Logic and Logical Philosophy 18 Journal of Logical and Algebraic Methods in Programming 17 The Journal of Symbolic Logic 17 Information and Computation 15 Journal of Automated Reasoning 12 Information Sciences 11 Algebra Universalis 10 International Journal of Intelligent Systems 10 Archive for Mathematical Logic 9 Soft Computing 9 The Journal of Logic and Algebraic Programming 8 Mathematical Logic Quarterly (MLQ) 8 ACM Transactions on Computational Logic 7 Notre Dame Journal of Formal Logic 7 Logical Methods in Computer Science 6 Theory of Computing Systems 5 Journal of Symbolic Computation 5 Topoi 5 Erkenntnis 5 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 4 Acta Informatica 4 Lithuanian Mathematical Journal 4 Kybernetika 4 Bulletin of the Section of Logic 4 Topology and its Applications 4 Formal Aspects of Computing 4 The Journal of Artificial Intelligence Research (JAIR) 4 Frontiers of Computer Science 3 Communications in Algebra 3 International Journal of General Systems 3 Information Processing Letters 3 Algebra and Logic 3 Journal of Algebra 3 Journal of Pure and Applied Algebra 3 MSCS. Mathematical Structures in Computer Science 3 The Bulletin of Symbolic Logic 3 Games 2 Computers & Mathematics with Applications 2 Discrete Applied Mathematics 2 Discrete Mathematics 2 Chaos, Solitons and Fractals 2 Journal of Computer and System Sciences 2 Mathematica Slovaca 2 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 2 Semigroup Forum 2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 2 International Journal of Algebra and Computation 2 International Journal of Foundations of Computer Science 2 Formal Methods in System Design 2 Applied Categorical Structures 2 Constraints 2 Fundamenta Informaticae 2 Armenian Journal of Mathematics 2 $$p$$-Adic Numbers, Ultrametric Analysis, and Applications 2 European Journal of Mathematics 1 International Journal of Theoretical Physics 1 Journal of Mathematical Analysis and Applications 1 Metrika 1 Applied Mathematics and Computation 1 Computing 1 Demonstratio Mathematica 1 Journal of Mathematical Economics 1 Journal of Statistical Planning and Inference 1 Kybernetes 1 Linguistics and Philosophy 1 Mathematics and Computers in Simulation 1 Quaestiones Mathematicae 1 SIAM Journal on Computing 1 Science of Computer Programming 1 Mathematical Social Sciences 1 History and Philosophy of Logic 1 Acta Mathematica Hungarica 1 Acta Applicandae Mathematicae 1 Bulletin of the Iranian Mathematical Society 1 Social Choice and Welfare 1 Order 1 New Generation Computing 1 Mathematical and Computer Modelling 1 SIAM Journal on Discrete Mathematics 1 AI Communications 1 Machine Learning 1 Random Structures & Algorithms 1 Designs, Codes and Cryptography 1 Godishnik na Sofiĭskiya Universitet “Sv. Kliment Okhridski”. Fakultet po Matematika i Informatika 1 European Journal of Operational Research ...and 27 more Journals
all top 5

### Cited in 33 Fields

 1,078 Mathematical logic and foundations (03-XX) 734 Computer science (68-XX) 113 Order, lattices, ordered algebraic structures (06-XX) 56 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 32 General topology (54-XX) 30 General algebraic systems (08-XX) 21 Category theory; homological algebra (18-XX) 15 History and biography (01-XX) 14 Information and communication theory, circuits (94-XX) 10 Group theory and generalizations (20-XX) 9 Probability theory and stochastic processes (60-XX) 9 Biology and other natural sciences (92-XX) 8 General and overarching topics; collections (00-XX) 7 Statistics (62-XX) 6 Combinatorics (05-XX) 6 Geometry (51-XX) 6 Operations research, mathematical programming (90-XX) 5 Quantum theory (81-XX) 5 Systems theory; control (93-XX) 4 Measure and integration (28-XX) 4 Convex and discrete geometry (52-XX) 3 Topological groups, Lie groups (22-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Difference and functional equations (39-XX) 2 Real functions (26-XX) 1 Number theory (11-XX) 1 Commutative algebra (13-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Special functions (33-XX) 1 Manifolds and cell complexes (57-XX) 1 Mechanics of particles and systems (70-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Relativity and gravitational theory (83-XX)