Search results for "class"

Hits ?▲	Authors	Title	Venue	Year	Link
16	Alessandro Armando, Roberto Carbone, Luca Compagna	LTL model checking for security protocols.	J. Appl. Non Class. Logics	2009	DBLP DOI BibTeX RDF
16	Carlos Caleiro, Ricardo Gonçalves 0001	Behavioral algebraization of da Costa's C-systems.	J. Appl. Non Class. Logics	2009	DBLP DOI BibTeX RDF
16	Fernando Manuel Ramos, Víctor L. Fernández	Twist-structures semantics for the logics of the hierarchy In Pk.	J. Appl. Non Class. Logics	2009	DBLP DOI BibTeX RDF
16	Philippe Balbiani	Hyper arrow logic with indiscernibility and complementarity.	J. Appl. Non Class. Logics	2008	DBLP DOI BibTeX RDF
16	João Marcos 0001	Possible-translations semantics for some weak classically-based paraconsistent logics.	J. Appl. Non Class. Logics	2008	DBLP DOI BibTeX RDF
16	Andrew Schumann	Non-Archimedean fuzzy and probability logic.	J. Appl. Non Class. Logics	2008	DBLP DOI BibTeX RDF
16	Vladimir V. Rybakov	Temporal logic with interacting agents.	J. Appl. Non Class. Logics	2008	DBLP BibTeX RDF
16	José M. Méndez, Gemma Robles	Relevance logics and intuitionistic negation.	J. Appl. Non Class. Logics	2008	DBLP DOI BibTeX RDF
16	Heinrich Wansing	Constructive negation, implication, and co-implication.	J. Appl. Non Class. Logics	2008	DBLP DOI BibTeX RDF
16	Walter Hussak	The serializability problem for a temporal logic of transaction queries.	J. Appl. Non Class. Logics	2008	DBLP DOI BibTeX RDF
16	G. Georgiev, Tinko Tinchev	Second-order logic on equivalence relations.	J. Appl. Non Class. Logics	2008	DBLP DOI BibTeX RDF
16	V. Sotirov	Non-classical operations hidden in classical logic.	J. Appl. Non Class. Logics	2008	DBLP DOI BibTeX RDF
16	Willem Conradie, Valentin Goranko	Algorithmic correspondence and completeness in modal logic.	J. Appl. Non Class. Logics	2008	DBLP DOI BibTeX RDF
16	Andrzej Szalas	Towards incorporating background theories into quantifier elimination.	J. Appl. Non Class. Logics	2008	DBLP DOI BibTeX RDF
16	Zoran Majkic	Autoreferential semantics for many-valued modal logics.	J. Appl. Non Class. Logics	2008	DBLP DOI BibTeX RDF
16	Johan van Benthem, Denis Bonnay	Modal logic and invariance.	J. Appl. Non Class. Logics	2008	DBLP DOI BibTeX RDF
16	Mikhail N. Rybakov	Complexity of intuitionistic propositional logic and its fragments.	J. Appl. Non Class. Logics	2008	DBLP DOI BibTeX RDF
16	Ivo Düntsch, Ewa Orlowska	A discrete duality between apartness algebras and apartness frames.	J. Appl. Non Class. Logics	2008	DBLP DOI BibTeX RDF
16	Ian Pratt-Hartmann	Conditionalization and total knowledge.	J. Appl. Non Class. Logics	2008	DBLP DOI BibTeX RDF
16	Tatiana Yavorskaya, Natalia Rubtsova	Operations on proofs and labels.	J. Appl. Non Class. Logics	2007	DBLP DOI BibTeX RDF
16	Paul E. Dunne, Wiebe van der Hoek, Michael J. Wooldridge	A logical characterisation of qualitative coalitional games.	J. Appl. Non Class. Logics	2007	DBLP DOI BibTeX RDF
16	Guillaume Aucher	Interpreting an action from what we perceive and what we expect.	J. Appl. Non Class. Logics	2007	DBLP DOI BibTeX RDF
16	Vladimir V. Rybakov	Logics with the universal modality and admissible consecutions.	J. Appl. Non Class. Logics	2007	DBLP DOI BibTeX RDF
16	Mikhail N. Rybakov	Complexity of finite-variable fragments M of EXPTIME-complete logics.	J. Appl. Non Class. Logics	2007	DBLP DOI BibTeX RDF
16	John Cantwell	A model for updates in a multi-agent setting.	J. Appl. Non Class. Logics	2007	DBLP DOI BibTeX RDF
16	Hans P. van Ditmarsch, Andreas Herzig	Foreword.	J. Appl. Non Class. Logics	2007	DBLP DOI BibTeX RDF
16	S. Mardaev	Definable fixed points in modal and temporal logics : A survey.	J. Appl. Non Class. Logics	2007	DBLP DOI BibTeX RDF
16	Floris Roelofsen	Distributed knowledge.	J. Appl. Non Class. Logics	2007	DBLP DOI BibTeX RDF
16	Joanna Golinska-Pilarek	Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI.	J. Appl. Non Class. Logics	2007	DBLP DOI BibTeX RDF
16	Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelov	Dynamic logics of the region-based theory of discrete spaces.	J. Appl. Non Class. Logics	2007	DBLP DOI BibTeX RDF
16	A. Romanov	De Jongh and Glivenko theorems for equality theories.	J. Appl. Non Class. Logics	2007	DBLP DOI BibTeX RDF
16	Wojciech Jamroga, Thomas Ågotnes	Constructive knowledge: what agents can achieve under imperfect information.	J. Appl. Non Class. Logics	2007	DBLP DOI BibTeX RDF
16	Torben Braüner	Why does the proof-theory of hybrid logic work so well?	J. Appl. Non Class. Logics	2007	DBLP DOI BibTeX RDF
16	Jelle Gerbrandy	Communication strategies in games.	J. Appl. Non Class. Logics	2007	DBLP DOI BibTeX RDF
16	Ilya Shapirovsky	Modal logics of closed domains on Minkowski plane.	J. Appl. Non Class. Logics	2007	DBLP DOI BibTeX RDF
16	Norihiro Kamide	Towards a theory of resource: an approach based on soft exponentials.	J. Appl. Non Class. Logics	2007	DBLP DOI BibTeX RDF
16	Johan van Benthem, Fenrong Liu	Dynamic logic of preference upgrade.	J. Appl. Non Class. Logics	2007	DBLP DOI BibTeX RDF
16	Miroslaw Szatkowski	Contingent modal semantics for some variants of Anderson-like ontological proofs.	J. Appl. Non Class. Logics	2007	DBLP DOI BibTeX RDF
16	Patrick Girard 0004	From onions to broccoli: generalizing Lewis' counterfactual logic.	J. Appl. Non Class. Logics	2007	DBLP DOI BibTeX RDF
16	Johan van Benthem	Dynamic logic for belief revision.	J. Appl. Non Class. Logics	2007	DBLP DOI BibTeX RDF
16	Barteld P. Kooi	Expressivity and completeness for public update logics via reduction axioms.	J. Appl. Non Class. Logics	2007	DBLP DOI BibTeX RDF
16	Anna Maria Radzikowska	Fuzzy modal-like approximation operators based on double residuated lattices.	J. Appl. Non Class. Logics	2006	DBLP DOI BibTeX RDF
16	Andrea Formisano 0001, Marianna Nicolosi Asmundo	An efficient relational deductive system for propositional non-classical logics.	J. Appl. Non Class. Logics	2006	DBLP DOI BibTeX RDF
16	Flávio L. C. de Moura, Mauricio Ayala-Rincón, Fairouz Kamareddine	SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi.	J. Appl. Non Class. Logics	2006	DBLP DOI BibTeX RDF
16	Stéphane Demri	Linear-time temporal logics with Presburger constraints: an overview.	J. Appl. Non Class. Logics	2006	DBLP DOI BibTeX RDF
16	Davide Bresolin, Joanna Golinska-Pilarek, Ewa Orlowska	Relational dual tableaux for interval temporal logics.	J. Appl. Non Class. Logics	2006	DBLP DOI BibTeX RDF
16	P. Schreiner	Automatic checking properties of non-classical logics.	J. Appl. Non Class. Logics	2006	DBLP DOI BibTeX RDF
16	Mircea Marin, Temur Kutsia	Foundations of the rule-based system rLog.	J. Appl. Non Class. Logics	2006	DBLP DOI BibTeX RDF
16	Andrzej Szalas	Second-order reasoning in description logics.	J. Appl. Non Class. Logics	2006	DBLP DOI BibTeX RDF
16	Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi	BDD-based decision procedures for the modal logic K.	J. Appl. Non Class. Logics	2006	DBLP DOI BibTeX RDF
16	Kamal Aboul-Hosn, Dexter Kozen	KAT-ML: an interactive theorem prover for Kleene algebra with tests.	J. Appl. Non Class. Logics	2006	DBLP DOI BibTeX RDF
16	Willem Conradie	On the strength and scope of DLS.	J. Appl. Non Class. Logics	2006	DBLP DOI BibTeX RDF
16	Joanna Golinska-Pilarek, Ewa Orlowska	Relational proof systems for spatial reasoning.	J. Appl. Non Class. Logics	2006	DBLP DOI BibTeX RDF
16	Tobias Schmidt-Samoa	Flexible heuristics for simplification with conditional lemmas by marking formulas as forbidden, mandatory, obligatory, and generous.	J. Appl. Non Class. Logics	2006	DBLP DOI BibTeX RDF
16	Dito Pataraia	Description of all functions definable by formulæ of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras.	J. Appl. Non Class. Logics	2006	DBLP DOI BibTeX RDF
16	Giovanna D'Agostino, Giacomo Lenzi, Tim French 0002	µ-programs, uniform interpolation and bisimulation quantifiers for modal logics.	J. Appl. Non Class. Logics	2006	DBLP DOI BibTeX RDF
16	Angelo Montanari, Adriano Peron, Gabriele Puppis	On the relationships between theories of time granularity and the monadic second-order theory of one successor.	J. Appl. Non Class. Logics	2006	DBLP DOI BibTeX RDF
16	Tomi Janhunen	Some (in)translatability results for normal logic programs and propositional theories.	J. Appl. Non Class. Logics	2006	DBLP DOI BibTeX RDF
16	Leo Esakia	The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic.	J. Appl. Non Class. Logics	2006	DBLP DOI BibTeX RDF
16	Patrick Doherty 0001, Martin Magnusson 0001, Andrzej Szalas	Approximate databases: a support tool for approximate reasoning.	J. Appl. Non Class. Logics	2006	DBLP DOI BibTeX RDF
16	Marta Sagastume	Conical logic and l-groups logic.	J. Appl. Non Class. Logics	2005	DBLP DOI BibTeX RDF
16	Pantelis E. Eleftheriou, Costas D. Koutras	Frame constructions, truth invariance and validity preservation in many-valued modal logic.	J. Appl. Non Class. Logics	2005	DBLP DOI BibTeX RDF
16	Peter Jonsson	Adding clauses to poor man's logic (without increasing the complexity).	J. Appl. Non Class. Logics	2005	DBLP DOI BibTeX RDF
16	Beata Konikowska	A Decompositional Deduction System for a Logic Featuring Inconsistency and Uncertainty.	J. Appl. Non Class. Logics	2005	DBLP DOI BibTeX RDF
16	Tomasz F. Skura	Intuitionistic Socratic procedures.	J. Appl. Non Class. Logics	2005	DBLP DOI BibTeX RDF
16	Paolo Liberatore	Seminormalizing a default theory.	J. Appl. Non Class. Logics	2005	DBLP DOI BibTeX RDF
16	Hans P. van Ditmarsch	The case of the hidden hand.	J. Appl. Non Class. Logics	2005	DBLP DOI BibTeX RDF
16	Paola Forcheri, Paolo Gentilini	Paraconsistent conjectural deduction based on logical entropy measures I: C-systems as non-standard inference framework.	J. Appl. Non Class. Logics	2005	DBLP DOI BibTeX RDF
16	Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx, Maarten de Rijke	PDL for Ordered Trees.	J. Appl. Non Class. Logics	2005	DBLP DOI BibTeX RDF
16	Chris Mortensen, P. Quigley	Cubic Logic, Ulam Games, and Paraconsistency.	J. Appl. Non Class. Logics	2005	DBLP DOI BibTeX RDF
16	Stefano Borgo	Quantificational Modal Logic with Sequential Kripke Semantics.	J. Appl. Non Class. Logics	2005	DBLP DOI BibTeX RDF
16	Gemma Robles, José M. Méndez	A constructive negation for logics including TW+.	J. Appl. Non Class. Logics	2005	DBLP DOI BibTeX RDF
16	Carsten Lutz, Dirk Walther 0002	PDL with Negation of Atomic Programs.	J. Appl. Non Class. Logics	2005	DBLP DOI BibTeX RDF
16	J. Riche	Decision Procedure of some Relevant Logics: A Constructive Perspective.	J. Appl. Non Class. Logics	2005	DBLP DOI BibTeX RDF
16	Marcel Crabbé	Cuts and gluts.	J. Appl. Non Class. Logics	2005	DBLP DOI BibTeX RDF
16	Jørgen Villadsen	Supra-logic: Using Transfinite Type Theory with Type Variables for Paraconsistency.	J. Appl. Non Class. Logics	2005	DBLP DOI BibTeX RDF
16	Itala M. Loffredo D'Ottaviano, Milton Augustinis De Castro	Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics Cn, 1>n>w.	J. Appl. Non Class. Logics	2005	DBLP DOI BibTeX RDF
16	Tarek Sayed Ahmed	Omitting types for algebraizable extensions of first order logic.	J. Appl. Non Class. Logics	2005	DBLP DOI BibTeX RDF
16	Dongmo Zhang, Norman Y. Foo	Frame problem in dynamic logic.	J. Appl. Non Class. Logics	2005	DBLP DOI BibTeX RDF
16	Norihiro Kamide	Natural deduction systems for Nelson's paraconsistent logic and its neighbors.	J. Appl. Non Class. Logics	2005	DBLP DOI BibTeX RDF
16	Churn-Jung Liau	Belief Fusion and Revision: An Overview Based on Epistemic Logic Semantics.	J. Appl. Non Class. Logics	2004	DBLP DOI BibTeX RDF
16	Dimitar P. Guelev, Dang Van Hung	A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus.	J. Appl. Non Class. Logics	2004	DBLP DOI BibTeX RDF
16	Anthony Hunter, Rupert Summerton	Fusion Rules for Context-Dependent Aggregation of Structured News Reports.	J. Appl. Non Class. Logics	2004	DBLP DOI BibTeX RDF
16	Rodolfo Gómez 0001, Howard Bowman	PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic.	J. Appl. Non Class. Logics	2004	DBLP DOI BibTeX RDF
16	Jean-Marc Tallon, Jean-Christophe Vergnaud, Shmuel Zamir	Communication among Agents: A Way to Revise Beliefs in KD45 Kripke Structures.	J. Appl. Non Class. Logics	2004	DBLP DOI BibTeX RDF
16	Valentin Goranko, Angelo Montanari, Guido Sciavicco	A Road Map of Interval Temporal Logics and Duration Calculi.	J. Appl. Non Class. Logics	2004	DBLP DOI BibTeX RDF
16	Ben C. Moszkowski	A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time.	J. Appl. Non Class. Logics	2004	DBLP DOI BibTeX RDF
16	Clare Dixon, Cláudia Nalon, Michael Fisher 0001	Tableaux for Logics of Time and Knowledge with Interactions Relating to Synchrony.	J. Appl. Non Class. Logics	2004	DBLP DOI BibTeX RDF
16	Dimitar P. Guelev	Logical Interpolation and Projection onto State in the Duration Calculus.	J. Appl. Non Class. Logics	2004	DBLP DOI BibTeX RDF
16	Alessandro Artale, Carsten Lutz	A Correspondence between Temporal Description Logics.	J. Appl. Non Class. Logics	2004	DBLP DOI BibTeX RDF
16	Laurence Cholvy, Christophe Garion	Querying several conflicting databases.	J. Appl. Non Class. Logics	2004	DBLP DOI BibTeX RDF
16	Sébastien Konieczny	Belief Base Merging as a Game.	J. Appl. Non Class. Logics	2004	DBLP DOI BibTeX RDF
16	Jirí Vomlel	Integrating Inconsistent Data in a Probabilistic Model.	J. Appl. Non Class. Logics	2004	DBLP DOI BibTeX RDF
16	Nicole Bidoit, Serenella Cerrito, Virginie Thion	A First Step towards Modeling Semistructured Data in Hybrid Multimodal Logic.	J. Appl. Non Class. Logics	2004	DBLP DOI BibTeX RDF
16	Philippe Balbiani, Dimiter Vakarelov	PDL with Intersection of Programs: A Complete Axiomatization.	J. Appl. Non Class. Logics	2003	DBLP DOI BibTeX RDF
16	Víctor L. Fernández, Marcelo E. Coniglio	Combining Valuations with Society Semantics.	J. Appl. Non Class. Logics	2003	DBLP DOI BibTeX RDF
16	Ofer Arieli	Reasoning with Different Levels of Uncertainty.	J. Appl. Non Class. Logics	2003	DBLP DOI BibTeX RDF
16	Jinzhao Wu	CWA Extensions to Multi-Valued Logics.	J. Appl. Non Class. Logics	2003	DBLP DOI BibTeX RDF
16	Cristina Sernadas, Luca Viganò 0001, João Rasga, Amílcar Sernadas	Truth-values as Labels: A General Recipe for Labelled Deduction.	J. Appl. Non Class. Logics	2003	DBLP DOI BibTeX RDF
16	Robert Demolombe, Andreas Herzig, Ivan José Varzinczak	Regression in Modal Logic.	J. Appl. Non Class. Logics	2003	DBLP DOI BibTeX RDF