Search results for "modal logics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Lutz Schröder, Dirk Pattinson	PSPACE bounds for rank-1 modal logics.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	Shallow models, resolution, coalgebra
2	Philippe Balbiani	Axiomatization and Completeness of Lexicographic Products of Modal Logics.	FroCos	2009	DBLP DOI BibTeX RDF	lexicographic product, axiomatization/completeness, Modal logic
2	Agi Kurucz	Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property.	FroCos	2009	DBLP DOI BibTeX RDF
2	Hans-Jörg Tiede	Inessential Features, Ineliminable Features, and Modal Logics for Model Theoretic Syntax.	Journal of Logic, Language and Information	2008	DBLP DOI BibTeX RDF	Model theoretic syntax, Modal logic, Tree automata
2	Renate A. Schmidt, Dmitry Tishkovsky	On combinations of propositional dynamic logic and doxastic modal logics.	Journal of Logic, Language and Information	2008	DBLP DOI BibTeX RDF	Combinations of modal logics, Doxastic logic, Belief and knowledge, Epistemic logic, Dynamic logic, Reasoning about actions
2	Yasuo Kudo, Tetsuya Murai, Seiki Akama	A Unified Formulation of Deduction, Induction and Abduction Using Granularity Based on VPRS Models and Measure-Based Semantics for Modal Logics.	Interval / Probabilistic Uncertainty and Non-Classical Logics	2008	DBLP DOI BibTeX RDF
2	Renate A. Schmidt, Dmitry Tishkovsky	A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments.	IJCAR	2008	DBLP DOI BibTeX RDF
2	Cédric Dégremont, Lena Kurzen	Modal Logics for Preferences and Cooperation: Expressivity and Complexity.	KRAMAS	2008	DBLP DOI BibTeX RDF
2	Lutz Schröder, Dirk Pattinson	Shallow Models for Non-iterative Modal Logics.	KI	2008	DBLP DOI BibTeX RDF
2	Marta Bílková	Uniform Interpolation and Propositional Quantifiers in Modal Logics.	Studia Logica	2007	DBLP DOI BibTeX RDF	propositional quantifiers, interpolation, modal logic, sequent calculus
2	Rajeev Goré, Linh Anh Nguyen	Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs.	CLIMA	2007	DBLP DOI BibTeX RDF
2	Jennifer M. Davoren	Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics.	LFCS	2007	DBLP DOI BibTeX RDF
2	Lutz Schröder, Dirk Pattinson	Modular Algorithms for Heterogeneous Modal Logics.	ICALP	2007	DBLP DOI BibTeX RDF
2	Lutz Schröder, Dirk Pattinson	Rank-1 Modal Logics Are Coalgebraic.	STACS	2007	DBLP DOI BibTeX RDF
2	Tim French	Idempotent Transductions for Modal Logics.	FroCos	2007	DBLP DOI BibTeX RDF
2	Olivier Gasquet, Bilal Said	Tableaux with Dynamic Filtration for Layered Modal Logics.	TABLEAUX	2007	DBLP DOI BibTeX RDF	Layered Modal Logic, Dynamic Filtration, Satisfaction problem, Complexity, Tableau
2	Linh Anh Nguyen	The Data Complexity of MDatalog in Basic Modal Logics.	MFCS	2006	DBLP DOI BibTeX RDF
2	Cláudia Nalon, Clare Dixon	Anti-prenexing and Prenexing for Modal Logics.	JELIA	2006	DBLP DOI BibTeX RDF
2	Lutz Schröder, Dirk Pattinson	PSPACE Bounds for Rank-1 Modal Logics.	LICS	2006	DBLP DOI BibTeX RDF
2	Johan van Benthem, Guram Bezhanishvili, Balder ten Cate, Darko Sarenac	Multimo dal Logics of Products of Topologies.	Studia Logica	2006	DBLP DOI BibTeX RDF	Fusion of modal logics, products of modal logics, topological product, horizontal, vertical topologies
2	Pavel Naumov	On Modal Logics of Partial Recursive Functions.	Studia Logica	2005	DBLP DOI BibTeX RDF	modal logic, recursive function, Curry-Howard isomorphism
2	Mauro Ferrari, Camillo Fiorentini, Guido Fiorino	On the complexity of the disjunction property in intuitionistic and modal logics.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	feasible interpolation, proof-length, modal logic, Intuitionistic logic
2	Shinsuke Nara, Takashi Omi, Yuichi Goto, Jingde Cheng	A General-Purpose Forward Deduction Engine for Modal Logics.	KES	2005	DBLP DOI BibTeX RDF
2	Johann Edtmayr	Global Modal Logics for Multiagent Systems: A Logical Fibering Approach.	EUROCAST	2005	DBLP DOI BibTeX RDF
2	Corina Cîrstea, Dirk Pattinson	Modular Construction of Modal Logics.	CONCUR	2004	DBLP DOI BibTeX RDF
2	Franz Baader, Silvio Ghilardi, Cesare Tinelli	A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics.	IJCAR	2004	DBLP DOI BibTeX RDF
2	Philipp Rohde	Moving in a Crumbling Network: The Balanced Case.	CSL	2004	DBLP DOI BibTeX RDF	model checking, modal logics, dynamic logics
2	Takashi Matsuhisa	No Trade under Rational Expectations in Economy (A Multi-modal Logic Approach).	ICCSA	2004	DBLP DOI BibTeX RDF	No trade theorem, Exchange economy under uncertainty, Rational expectations equilibrium, Multi-modal logics, Distributed knowledge
2	Mauricio Osorio, Verónica Borja Macías, José Arrazola	Closing the Gap between the Stable Semantics and Extensions of WFS.	MICAI	2004	DBLP DOI BibTeX RDF	Stable semantics, FOUR, Modal logics, WFS
2	Alfredo Burrieza, Inman P. de Guzmán	A functional approach for temporal × modal logics.	Acta Inf.	2003	DBLP DOI BibTeX RDF
2	Vladimir V. Rybakov	Barwise's information frames and modal logics.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
2	Hiroshi Kawakami, Ryosuke Akinaga, Hidetsugu Suto, Osamu Katai	Translating Novelty of Business Model into Terms of Modal Logics.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF	Petri Nets, Modal Logic, Business Process Model, Modality, Novelty
2	Renate A. Schmidt, Ullrich Hustadt	Mechanised Reasoning and Model Generation for Extended Modal Logics.	Theory and Applications of Relational Structures as Knowledge Instruments	2003	DBLP DOI BibTeX RDF
2	Maarten Marx	XPath and Modal Logics of Finite DAG's.	TABLEAUX	2003	DBLP DOI BibTeX RDF
2	Mila E. Majster-Cederbaum, Naijun Zhan, Harald Fecher	Action Refinement from a Logical Point of View.	VMCAI	2003	DBLP DOI BibTeX RDF	verification, specification, modal logics, reactive systems, action refinement
2	C. Luppi	On the Beth properties of some intuitionistic modal logics.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
2	Erich Grädel, Colin Hirsch, Martin Otto	Back and forth between guarded and modal logics.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	guarded logic, modal logic, Bisimulation, model theory
2	Albert C. Esterline	Using Statecharts and Modal Logics to Model Multiagent Plans and Transactions.	FAABS	2002	DBLP DOI BibTeX RDF
2	Serenella Cerrito, Marta Cialdea Mayer	Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation.	IJCAR	2001	DBLP DOI BibTeX RDF
2	Frédéric Koriche	A Logic for Approximate First-Order Reasoning.	CSL	2001	DBLP DOI BibTeX RDF	resource-bounded algorithms, first-order logic, approximate reasoning, multi-modal logics
2	Josep Maria Font, Ramon Jansana	Leibniz filters and the strong version of a protoalgebraic logic.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Leibniz filter, Strong version, Leibniz operator, Transfer theorem, Modal logics, Many-valued logics, Algebraizable logic, Quantum logics, Abstract algebraic logic, Protoalgebraic logic
2	Angelo Montanari, Alberto Policriti, Matteo Slanina	Derivability in Locally Quantified Modal Logics via Translation in Set Theory.	MFCS	2000	DBLP DOI BibTeX RDF
2	Roman Kuznets	On the Complexity of Explicit Modal Logics.	CSL	2000	DBLP DOI BibTeX RDF
2	Linh Anh Nguyen	A New Space Bound for the Modal Logics K4, KD4 and S4.	MFCS	1999	DBLP DOI BibTeX RDF
2	Guido Governatori, Alessandro Luppi	Labelled Tableaux for Non-normal Modal Logics.	AI*IA	1999	DBLP DOI BibTeX RDF
2	Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella	The SAT-Based Approach for Classical Modal Logics.	AI*IA	1999	DBLP DOI BibTeX RDF
2	Werner Nutt	On the Translation of Qualitative Spatial Reasoning Problems into Modal Logics.	KI	1999	DBLP DOI BibTeX RDF
2	Harald Ganzinger, Christoph Meyer, Margus Veanes	The Two-Variable Guarded Fragment with Transitive Relations.	LICS	1999	DBLP DOI BibTeX RDF	Two-Variable First-Order Logics, Modal Logics, Transitivity, Guarded Fragment
2	Peter Balsiger, Alain Heuerding	Comparison of Theorem Provers for Modal Logics - Introduction and Summary.	TABLEAUX	1998	DBLP DOI BibTeX RDF
2	Aida Pliuskeviciene	Effective Properties of Some First-Order Intuitionistic Modal Logics.	FTP (LNCS Selection)	1998	DBLP DOI BibTeX RDF
2	Roberto Sebastiani, Adolfo Villafiorita	SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical Framework.	AIMSA	1998	DBLP DOI BibTeX RDF
2	Ewa Orlowska	Many-Valuedness and Uncertainty. (PDF / PS)	ISMVL	1997	DBLP DOI BibTeX RDF	modal information logics, many-valued modal logics, uncertain knowledge, calculus of information relations, Aristotelian syllogistic, multivalued logic
2	Fausto Giunchiglia, Roberto Sebastiani	Building Decision Procedures for Modal Logics from Propositional Decision Procedure - The Case Study of Modal K.	CADE	1996	DBLP DOI BibTeX RDF
2	Francesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati	A Uniform Tableaux Method for Nonmonotonic Modal Logics.	JELIA	1996	DBLP DOI BibTeX RDF
2	Jörg Hudelmaier	Improved Decision Procedures for the Modal Logics K, T, and S4.	CSL	1995	DBLP DOI BibTeX RDF
2	Fabio Massacci	Strongly Analytic Tableaux for Normal Modal Logics.	CADE	1994	DBLP DOI BibTeX RDF
2	Stéphane Demri	Efficient Strategies for Automated Reasoning in Modal Logics.	JELIA	1994	DBLP DOI BibTeX RDF
2	Vladimir V. Rybakov	Modal Logics Preserving Admissible for S4 Inference Rules.	CSL	1994	DBLP DOI BibTeX RDF
2	Dimiter Vakarelov	Modal Logics for Knowledge Representation Systems.	Logic at Botik	1989	DBLP DOI BibTeX RDF	knowledge representation systems, logics for knowledge representation, completeness theorems, filtration theorems, modal logics
2	Hans Jürgen Ohlbach	New Ways for Developing Proof Theories for First-Order Multi Modal Logics.	CSL	1989	DBLP DOI BibTeX RDF	Automated Theorem Proving by Translation and Refutation, Nonclassical Logics, Process Logic, Action Logic, Temporal Logic, Modal Logic, Resolution, Epistemic Logic
2	Hans Jürgen Ohlbach	A Resolution Calculus for Modal Logics.	CADE	1988	DBLP DOI BibTeX RDF	resolution principle, modal logic, unification
2	Roderic A. Girle, Michael A. McRobbie	Exploring the Epistemic Labyrinth: New Directions in the Formal Theory of Knowledge Representation.	Australian Joint Conference on Artificial Intelligence	1988	DBLP DOI BibTeX RDF	knowledge representation, modal logics, automated theorem proving, multi-valued logics
1	Sergei P. Odintsov, E. I. Latkin	BK-lattices. Algebraic Semantics for Belnapian Modal Logics.	Studia Logica	2012	DBLP DOI BibTeX RDF
1	Clemens Kupke, Dirk Pattinson	Coalgebraic semantics of modal logics: An overview.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Lutz Schröder, Dirk Pattinson	Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra.	Mathematical Structures in Computer Science	2011	DBLP DOI BibTeX RDF
1	Philippe Balbiani	Axiomatization and completeness of lexicographic products of modal logics.	Journal of Applied Non-Classical Logics	2011	DBLP BibTeX RDF
1	Gerhard Schurz	Combinations and completeness transfer for quantified modal logics.	Logic Journal of the IGPL	2011	DBLP DOI BibTeX RDF
1	Vladimir V. Rybakov	Best Unifiers in Transitive Modal Logics.	Studia Logica	2011	DBLP DOI BibTeX RDF
1	Takahiro Seki	The γ-admissibility of Relevant Modal Logics II - The Method using Metavaluations.	Studia Logica	2011	DBLP DOI BibTeX RDF
1	Marek Nasieniewski, Andrzej Pietruszczak	A Method of Generating Modal Logics Defining Jaśkowski's Discussive Logic D2.	Studia Logica	2011	DBLP DOI BibTeX RDF
1	Takahiro Seki	The γ-admissibility of Relevant Modal Logics I - The Method of Normal Models.	Studia Logica	2011	DBLP DOI BibTeX RDF
1	Katarina Britz, Thomas Meyer, Ivan José Varzinczak	Preferential Reasoning for Modal Logics.	Electr. Notes Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Umberto Rivieccio	Paraconsistent Modal Logics.	Electr. Notes Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Patricia Bouyer, Franck Cassez, François Laroussinie	Timed Modal Logics for Real-Time Systems - Specification, Verification and Control.	Journal of Logic, Language and Information	2011	DBLP DOI BibTeX RDF
1	Yoshihiro Maruyama	Dualities for Algebras of Fitting's Many-Valued Modal Logics.	Fundam. Inform.	2011	DBLP DOI BibTeX RDF
1	Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema	Modal Logics are Coalgebraic.	Comput. J.	2011	DBLP DOI BibTeX RDF
1	Zoran Majkic	A New Representation Theorem for Many-valued Modal Logics	CoRR	2011	DBLP BibTeX RDF
1	George Metcalfe, Nicola Olivetti	Towards a Proof Theory of Gödel Modal Logics	Logical Methods in Computer Science	2011	DBLP DOI BibTeX RDF
1	Zoran Majkic	Reduction of Many-valued into Two-valued Modal Logics	CoRR	2011	DBLP BibTeX RDF
1	Guram Bezhanishvili, David Gabelaia	Connected modal logics.	Arch. Math. Log.	2011	DBLP DOI BibTeX RDF
1	Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti, Claudio Schifanella	Models of agent interaction based on modal logics.	Intelligenza Artificiale	2011	DBLP DOI BibTeX RDF
1	Björn Lellmann, Dirk Pattinson	Cut Elimination for Shallow Modal Logics.	TABLEAUX	2011	DBLP DOI BibTeX RDF
1	Emanuel Kieronski, Jakub Michaliszyn, Jan Otop	Modal Logics Definable by Universal Three-Variable Formulas.	FSTTCS	2011	DBLP DOI BibTeX RDF
1	Alfredo Burrieza, Inmaculada Perez de Guzmán, Emilio Muñoz-Velasco	Analyzing completeness of axiomatic functional systems for temporal × modal logics.	Math. Log. Q.	2010	DBLP DOI BibTeX RDF
1	Sergei P. Odintsov, Heinrich Wansing	Modal logics with Belnapian truth values.	Journal of Applied Non-Classical Logics	2010	DBLP BibTeX RDF
1	Didier Galmiche, Yakoub Salhi	Label-free natural deduction systems for intuitionistic and classical modal logics.	Journal of Applied Non-Classical Logics	2010	DBLP BibTeX RDF
1	Larisa Maksimova	Problem of restricted interpolation in superintuitionistic and some modal logics.	Logic Journal of the IGPL	2010	DBLP DOI BibTeX RDF
1	Xavier Caicedo, Ricardo Oscar Rodríguez	Standard Gödel Modal Logics.	Studia Logica	2010	DBLP DOI BibTeX RDF
1	Lutz Schröder, Dirk Pattinson	Rank-1 Modal Logics are Coalgebraic.	J. Log. Comput.	2010	DBLP DOI BibTeX RDF
1	Bart Jacobs, Ana Sokolova	Exemplaric Expressivity of Modal Logics.	J. Log. Comput.	2010	DBLP DOI BibTeX RDF
1	Stéphane Demri, Denis Lugiez	Complexity of modal logics with Presburger constraints.	J. Applied Logic	2010	DBLP DOI BibTeX RDF
1	Carlos Areces, Daniel Gorín	Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction).	J. Applied Logic	2010	DBLP DOI BibTeX RDF
1	Kudinov Andrey	Topological Modal Logics with Difference Modality	CoRR	2010	DBLP BibTeX RDF
1	Petr Hájek	On fuzzy modal logics S5(L).	Fuzzy Sets and Systems	2010	DBLP DOI BibTeX RDF
1	Alwen Tiu, Dale Miller	Proof search specifications of bisimulation and modal logics for the pi-calculus.	ACM Trans. Comput. Log.	2010	DBLP DOI BibTeX RDF
1	Clemens Kupke, Dirk Pattinson	On Modal Logics of Linear Inequalities.	Advances in Modal Logic	2010	DBLP BibTeX RDF
1	Carlos Areces, Guillaume Hoffmann, Alexandre Denis	Modal Logics with Counting.	WoLLIC	2010	DBLP DOI BibTeX RDF
1	Marcelo Finger, Mauricio S. C. Hernandes	Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics.	WoLLIC	2010	DBLP DOI BibTeX RDF
1	Balder ten Cate	A note on the expressibility problem for modal logics and star-free regular expressions.	Inf. Process. Lett.	2009	DBLP DOI BibTeX RDF
1	Jan Broersen, Andreas Herzig, Nicolas Troquard	What groups do, can do, and know they can do: an analysis in normal modal logics.	Journal of Applied Non-Classical Logics	2009	DBLP BibTeX RDF