• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 553 matches

• 2024
• 
  Juan Carlos Agudelo Agudelo:
  Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation. J. Appl. Non Class. Logics 34(1): 31-54 (2024)
• 
  Mohua Banerjee, Mihir K. Chakraborty, Andrzej Szalas:
  Logics from rough sets. J. Appl. Non Class. Logics 34(2-3): 171-173 (2024)
• 
  Sergio A. Celani:
  Relational representation for subordination Tarski algebras. J. Appl. Non Class. Logics 34(1): 75-96 (2024)
• 
  Willem Conradie, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere:
  Modal reduction principles: a parametric shift to graphs. J. Appl. Non Class. Logics 34(2-3): 174-222 (2024)
• 
  Ken-etsu Fujita, Aleksy Schubert, Pawel Urzyczyn, Konrad Zdanowski:
  The existential fragment of second-order propositional intuitionistic logic is undecidable. J. Appl. Non Class. Logics 34(1): 55-74 (2024)
• 
  David Gabelaia, Evgeny Kuznetsov, Radu-Casian Mihailescu, Konstantine Razmadze, Levan Uridia:
  Temporal logic of surjective bounded morphisms between finite linear processes. J. Appl. Non Class. Logics 34(1): 1-30 (2024)
• 
  Jouni Järvinen, Sándor Radeleczki, Umberto Rivieccio:
  Nelson algebras, residuated lattices and rough sets: A survey. J. Appl. Non Class. Logics 34(2-3): 368-428 (2024)
• 
  Md. Aquil Khan, Ranjan, Amal Talukdar:
  A study of modal logic with semantics based on rough set theory. J. Appl. Non Class. Logics 34(2-3): 223-247 (2024)
• 
  Zofia Kostrzycka, Marek Zaionc:
  Fuzzy logics - quantitatively. J. Appl. Non Class. Logics 34(1): 97-132 (2024)
• 
  Arun Kumar, Mohua Banerjee:
  Some algebras and logics from quasiorder-generated covering-based approximation spaces. J. Appl. Non Class. Logics 34(2-3): 248-268 (2024)
• 
  A. Mani:
  Granular knowledge and rational approximation in general rough sets - I. J. Appl. Non Class. Logics 34(2-3): 294-329 (2024)
• 
  Cornelis A. Middelburg:
  Paraconsistent logic and query answering in inconsistent databases. J. Appl. Non Class. Logics 34(1): 133-154 (2024)
• 
  Piero Pagliani:
  Crypto-preorders, topological relations, information and logic. J. Appl. Non Class. Logics 34(2-3): 330-367 (2024)
• 
  Anirban Saha, Jayanta Sen:
  Modality-free pre-rough logic. J. Appl. Non Class. Logics 34(2-3): 429-451 (2024)
• 
  Yiheng Wang, Zhe Lin, Minghui Ma:
  Decidability of topological quasi-Boolean algebras. J. Appl. Non Class. Logics 34(2-3): 269-293 (2024)
• 
  Damla Yilmaz:
  Symmetric bi-derivations of UP(BCC)-algebras. J. Appl. Non Class. Logics 34(1): 155-169 (2024)
• 2023
• 
  Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Fariñas del Cerro, Torsten Schaub, Anna Schuhmann:
  Metric dynamic equilibrium logic. J. Appl. Non Class. Logics 33(3-4): 495-519 (2023)
• 
  Sihem Belabbes, Salem Benferhat:
  Selecting accepted assertions in partially ordered inconsistent DL-Lite knowledge bases. J. Appl. Non Class. Logics 33(3-4): 561-581 (2023)
• 
  Isabelle Bloch, Jérôme Lang, Ramón Pino Pérez, Carlos Uzcátegui:
  Morphologic for knowledge dynamics: revision, fusion and abduction. J. Appl. Non Class. Logics 33(3-4): 421-466 (2023)
• 
  Elise Bonzon, Jérôme Delobelle, Sébastien Konieczny, Nicolas Maudet:
  An empirical and axiomatic comparison of ranking-based semantics for abstract argumentation. J. Appl. Non Class. Logics 33(3-4): 328-386 (2023)
• 
  Anasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak:
  Defeasible linear temporal logic. J. Appl. Non Class. Logics 33(1): 1-51 (2023)
• 
  Sylvie Doutre, Andreas Herzig, Anthony Hunter:
  Logic, arguments and inconsistencies: an introduction to the festschrift in honour of Philippe Besnard. J. Appl. Non Class. Logics 33(3-4): 207-211 (2023)
• 
  Sylvie Doutre, Marie-Christine Lagasquie-Schiex:
  RAFDivider : a distributed algorithm for computing semantics in higher-order abstract argumentation frameworks. J. Appl. Non Class. Logics 33(3-4): 244-297 (2023)
• 
  Didier Dubois, Lluís Godo, Henri Prade:
  An elementary belief function logic. J. Appl. Non Class. Logics 33(3-4): 582-605 (2023)
• 
  Wolfgang Dvorák, Atefeh Keshavarzi Zafarghandi, Stefan Woltran:
  Expressiveness of SETAFs and support-free ADFs under 3-valued semantics. J. Appl. Non Class. Logics 33(3-4): 298-327 (2023)
• 
  Marcelo A. Falappa, Alejandro Javier García, Guillermo Ricardo Simari:
  Merging operators on stratified belief bases equipped with argumentative inference. J. Appl. Non Class. Logics 33(3-4): 387-420 (2023)
• 
  Martin Gius, Hans Tompits:
  Sequent-type rejection systems for finite-valued non-deterministic logics. J. Appl. Non Class. Logics 33(3-4): 606-640 (2023)
• 
  John Grant:
  Postulate satisfaction for inconsistency measures in monotonic logics and databases. J. Appl. Non Class. Logics 33(3-4): 537-560 (2023)
• 
  Stefano Guerrini, Andrea Masini, Margherita Zorzi:
  Natural deduction calculi for classical and intuitionistic S5. J. Appl. Non Class. Logics 33(2): 165-205 (2023)
• 
  Thomas Guyet:
  Admissible generalisation of temporal sequences as chronicles. J. Appl. Non Class. Logics 33(3-4): 641-653 (2023)

skipping 523 more matches