Search results for "modal logic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Luigi Santocanale, Yde Venema	Uniform Interpolation for Monotone Modal Logic.	Advances in Modal Logic	2010	DBLP BibTeX RDF
3	Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal	A relational modal logic for higher-order stateful ADTs.	POPL	2010	DBLP DOI BibTeX RDF	local state, plotkin-abadi logic, modal logic, abstract data types, separation logic, step-indexed logical relations
3	GuoJun Wang, QiaoLin Duan	Theory of (n) truth degrees of formulas in modal logic and a consistency theorem.	Science in China Series F: Information Sciences	2009	DBLP DOI BibTeX RDF	(n) truth degrees, consistency theorem, (n) modality similarity degrees, (n) modality logic metric space, temporal logic, modal logic, approximate reasoning
3	Vincent Wiegel, Jan van den Berg	Combining Moral Theory, Modal Logic and Mas to Create Well-Behaving Artificial Agents.	I. J. Social Robotics	2009	DBLP DOI BibTeX RDF	Deontic constraints, Trust, Software agents, Modal logic, BDI, Morality
3	Sara L. Uckelman	Three 13th-century views of quantified modal logic.	Advances in Modal Logic	2008	DBLP BibTeX RDF
3	Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev	Topology, connectedness, and modal logic.	Advances in Modal Logic	2008	DBLP BibTeX RDF
3	Tero Tulenheimo	Modal logic of time division.	Advances in Modal Logic	2008	DBLP BibTeX RDF
3	Martin Otto, Robert Piro	A Lindström characterisation of the guarded fragment and of modal logic with a global modality.	Advances in Modal Logic	2008	DBLP BibTeX RDF
3	Phiniki Stouppa	A Deep Inference System for the Modal Logic S5.	Studia Logica	2007	DBLP DOI BibTeX RDF	modal logic S5, cutadmissibility, proof theory, deep inference, calculus of structures
3	Junghwa Chae	Towards Modal Logic Formalization of Role-Based Access Control with Object Classes.	FORTE	2007	DBLP DOI BibTeX RDF	object class hierarchy, tableaux method, Role-based access control, modal logic, object classes
3	Horacio L. Arló-Costa, Eric Pacuit	First-Order Classical Modal Logic.	Studia Logica	2006	DBLP DOI BibTeX RDF	First-order modal logic, neighborhood semantics, general frames
3	Valentin B. Shehtman	Completeness and incompleteness in first-order modal logic: an overview.	Advances in Modal Logic	2006	DBLP BibTeX RDF
3	Silvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev	Conservative extensions in modal logic.	Advances in Modal Logic	2006	DBLP BibTeX RDF
3	Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev	From topology to metric: modal logic and quantification in metric spaces.	Advances in Modal Logic	2006	DBLP BibTeX RDF
3	Lloyd Humberstone	Weaker-to-Stronger Translational Embeddings in Modal Logic.	Advances in Modal Logic	2006	DBLP BibTeX RDF
3	Kai Brünnler	Deep Sequent Systems for Modal Logic.	Advances in Modal Logic	2006	DBLP BibTeX RDF
3	Robert Goldblatt, Edwin D. Mares	A General Semantics for Quantified Modal Logic.	Advances in Modal Logic	2006	DBLP BibTeX RDF
3	Tero Tulenheimo, Merlijn Sevenster	On Modal Logic, IF Logic, and IF Modal Logic.	Advances in Modal Logic	2006	DBLP BibTeX RDF
3	Igor Gorbunov	A decidable modal logic that is finitely undecidable.	Advances in Modal Logic	2006	DBLP BibTeX RDF
3	Feng Jiang, Yuefei Sui, Cungen Cao	An Ontology-Based First-Order Modal Logic.	RSCTC	2006	DBLP DOI BibTeX RDF	First-order modal logic, counterpart, ontology, rigidity
3	Zaiyue Zhang, Yuefei Sui, Cungen Cao	Further Study of the Fuzzy Reasoning Based on Propositional Modal Logic.	RSKT	2006	DBLP DOI BibTeX RDF	Propositional modal logic, Educed set, Fuzzy reasoning, Formal system
3	Zaiyue Zhang, Yuefei Sui, Cungen Cao	Description of Fuzzy First-Order Modal Logic Based on Constant Domain Semantics.	RSFDGrC	2005	DBLP DOI BibTeX RDF	fuzzy reasoning system, rough set, modal logic
3	Bernhard Heinemann	A Modal Logic for Discretely Descending Chains of Sets.	Studia Logica	2004	DBLP DOI BibTeX RDF	modal logic of subset spaces, completeness, decidability, temporalization
3	Anuj Dawar, Erich Grädel, Stephan Kreutzer	Inflationary fixed points in modal logic.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	Fixed-point logics, complexity, modal logic, decidability, expressive power
3	Tapani Hyttinen, Tero Tulenheimo	Decidability of IF Modal Logic of Perfect Recall.	Advances in Modal Logic	2004	DBLP BibTeX RDF
3	Heinrich Wansing	Connexive Modal Logic.	Advances in Modal Logic	2004	DBLP BibTeX RDF
3	Ilya Shapirovsky	On PSPACE-decidability in Transitive Modal Logic.	Advances in Modal Logic	2004	DBLP BibTeX RDF
3	Zaiyue Zhang, Yuefei Sui, Cungen Cao	Fuzzy Reasoning Based on Propositional Modal Logic.	Rough Sets and Current Trends in Computing	2004	DBLP DOI BibTeX RDF	propositional modal logic, fuzzy assertion, fuzzy reasoning
3	M. Jamshid Bagherzadeh, S. Arun-Kumar	Layered Clausal Resolution in the Multi-modal Logic of Beliefs and Goals.	LPAR	2004	DBLP DOI BibTeX RDF	proof method, multi-agent systems, resolution, belief revision, multi-modal logic
3	Luis Villaseñor Pineda, Manuel Montes-y-Gómez, Jean Caelen	A Modal Logic Framework for Human-Computer Spoken Interaction.	CICLing	2004	DBLP DOI BibTeX RDF	Human computer spoken interaction, multimodal interaction and modal logic, speech acts
3	Takashi Matsuhisa	Core Equivalence in Economy for Modal Logic.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF	Pure exchange economy under reflexive information structure, Ex-post core, Rational expectations equilibrium, Core equivalence theorem, Journal of Economic Literature Classification: D51, D84, D52, C72, Multi-modal logic
3	Tero Tulenheimo	On IF Modal Logic and its Expressive Power.	Advances in Modal Logic	2002	DBLP BibTeX RDF
3	Van-Nam Huynh, Yoshiteru Nakamori, Tu Bao Ho, Germano Resconi	A Context Model for Constructing Membership Functions of Fuzzy Concepts Based on Modal Logic.	FoIKS	2002	DBLP DOI BibTeX RDF	fuzzy concept, modal logic, Context model, membership function
3	Tim Fernando	Towards a Many-Dimensional Modal Logic for Semantic Processing.	Advances in Modal Logic	2000	DBLP BibTeX RDF
3	Larisa Maksimova	Projective Beth's Properties in Infinite Slice Extensions of the Modal Logic K4.	Advances in Modal Logic	2000	DBLP BibTeX RDF
3	Johan van Bentheim	Modal Logic in Two Gestalts.	Advances in Modal Logic	1998	DBLP BibTeX RDF
3	Valentin Goranko, Dimiter Vakarelov	Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures.	Advances in Modal Logic	1998	DBLP BibTeX RDF
3	Sergei N. Artëmov	Operations on Proofs that can be Specified by Means of Modal Logic.	Advances in Modal Logic	1998	DBLP BibTeX RDF
3	Alexander Kurz	A Co-Variety-Theorem for Modal Logic.	Advances in Modal Logic	1998	DBLP BibTeX RDF
3	Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, Heinrich Wansing	The Origins of Modern Modal Logic.	Advances in Modal Logic	1998	DBLP BibTeX RDF
3	Michinori Nakata, Germano Resconi, Tetsuya Murai	Handling Imperfection in Databases: A Modal Logic Approach.	DEXA	1997	DBLP DOI BibTeX RDF	Extended relational databases, Uncertainty theories, Modal logic, Imperfect information
3	Georg Gottlob	NP Trees and Carnap's Modal Logic.	J. ACM	1995	DBLP DOI BibTeX RDF	bounded query computation, trees, modal logic, oracle, epistemic logic, NP, autoepistemic logic
3	Françoise Debart, Patrice Enjalbert, Madeleine Lescot	Multi-Modal Logic Programming using Equational and Order-Sorted Logic.	ALP	1990	DBLP DOI BibTeX RDF	Order-sorted Logic, Equationnal Methods, E-Resolution, Logic Programming, Modal Logic, Unification
2	Sara L. Uckelman, Spencer Johnston	A Simple Semantics for Aristotelian Apodeictic Syllogistics.	Advances in Modal Logic	2010	DBLP BibTeX RDF
2	Agi Kurucz	On the Complexity of Modal Axiomatisations over Many-dimensional Structures.	Advances in Modal Logic	2010	DBLP BibTeX RDF
2	Amélie Gheerbrant	Complete Axiomatization of the Stutter-invariant Fragment of the Linear Time mu-calculus.	Advances in Modal Logic	2010	DBLP BibTeX RDF
2	Tinko Tinchev, Dimiter Vakarelov	Logics of Space with Connectedness Predicates: Complete Axiomatizations.	Advances in Modal Logic	2010	DBLP BibTeX RDF
2	Rajeev Goré, Linda Postniece, Alwen Tiu	Cut-elimination and Proof Search for Bi-Intuitionistic Tense Logic.	Advances in Modal Logic	2010	DBLP BibTeX RDF
2	Heinrich Wansing	Proofs, Disproofs, and Their Duals.	Advances in Modal Logic	2010	DBLP BibTeX RDF
2	Katsuhiko Sano, Minghui Ma	Goldblatt-Thomason-style Theorems for Graded Modal Language.	Advances in Modal Logic	2010	DBLP BibTeX RDF
2	Mati Pentus	Complexity of the Lambek Calculus and Its Fragments.	Advances in Modal Logic	2010	DBLP BibTeX RDF
2	Ryo Kashima	Completeness Proof by Semantic Diagrams for Transitive Closure of Accessibility Relation.	Advances in Modal Logic	2010	DBLP BibTeX RDF
2	Agi Kurucz, Frank Wolter, Michael Zakharyaschev	Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description Logic EL.	Advances in Modal Logic	2010	DBLP BibTeX RDF
2	Tomoyuki Suzuki 0001	Bi-approximation Semantics for Substructural Logic at Work.	Advances in Modal Logic	2010	DBLP BibTeX RDF
2	Marta Bílková, Ondrej Majer, Michal Pelis, Greg Restall	Relevant Agents.	Advances in Modal Logic	2010	DBLP BibTeX RDF
2	Stanislav Kikot	Semantic Characterization of Kracht Formulas.	Advances in Modal Logic	2010	DBLP BibTeX RDF
2	Ilya Shapirovsky	Simulation of Two Dimensions in Unimodal Logics.	Advances in Modal Logic	2010	DBLP BibTeX RDF
2	David Fernández Duque	Absolute Completeness of S4u for Its Measure-Theoretic Semantics.	Advances in Modal Logic	2010	DBLP BibTeX RDF
2	Wesley H. Holliday, Thomas F. Icard III	Moorean Phenomena in Epistemic Logic.	Advances in Modal Logic	2010	DBLP BibTeX RDF
2	Serenella Cerrito, Marta Cialdea Mayer	Nominal Substitution at Work with the Global and Converse Modalities.	Advances in Modal Logic	2010	DBLP BibTeX RDF
2	Eric Ufferman, Pedro Arturo Góngora, Francisco Hernández Quiroz	A Complete Proof System for a Dynamic Epistemic Logic Based upon Finite pi-Calculus Processes.	Advances in Modal Logic	2010	DBLP BibTeX RDF
2	Kai Brünnler, Remo Goetschi, Roman Kuznets	A Syntactic Realization Theorem for Justification Logics.	Advances in Modal Logic	2010	DBLP BibTeX RDF
2	Alexander Kurz, Yde Venema	Coalgebraic Lindströom Theorems.	Advances in Modal Logic	2010	DBLP BibTeX RDF
2	Gerard Allwein, William L. Harrison	Partially-ordered Modalities.	Advances in Modal Logic	2010	DBLP BibTeX RDF
2	Santiago Figueira, Daniel Gorín	On the Size of Shortest Modal Descriptions.	Advances in Modal Logic	2010	DBLP BibTeX RDF
2	Clemens Kupke, Dirk Pattinson	On Modal Logics of Linear Inequalities.	Advances in Modal Logic	2010	DBLP BibTeX RDF
2	Dmitrij P. Skvortsov	A Remark on Propositional Kripke Frames Sound for Intuitionistic Logic.	Advances in Modal Logic	2010	DBLP BibTeX RDF
2	Hans P. van Ditmarsch, Tim French, Sophie Pinchinat	Future Event Logic - Axioms and Complexity.	Advances in Modal Logic	2010	DBLP BibTeX RDF
2	Emiliano Lorini, François Schwarzentruber, Andreas Herzig	Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together.	LORI	2009	DBLP DOI BibTeX RDF
2	Yasuyuki Tsukada, Ken Mano, Hideki Sakurada, Yoshinobu Kawabe	Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach.	CSE	2009	DBLP DOI BibTeX RDF
2	Yoshihiro Maruyama	A Duality for Algebras of Lattice-Valued Modal Logic.	WoLLIC	2009	DBLP DOI BibTeX RDF
2	Mohua Banerjee, Didier Dubois	A Simple Modal Logic for Reasoning about Revealed Beliefs.	ECSQARU	2009	DBLP DOI BibTeX RDF
2	Daisuke Kimura, Yoshihiko Kakutani	Classical Natural Deduction for S4 Modal Logic.	APLAS	2009	DBLP DOI BibTeX RDF
2	George Metcalfe, Nicola Olivetti	Proof Systems for a Gödel Modal Logic.	TABLEAUX	2009	DBLP DOI BibTeX RDF
2	Yoshihiro Maruyama	Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic.	ICLA	2009	DBLP DOI BibTeX RDF
2	Patrick Girard, Jeremy Seligman	An Analytic Logic of Aggregation.	ICLA	2009	DBLP DOI BibTeX RDF	preference logic, lexicographic aggregation, hybrid modal logic, analytic proof theory, sequent calculus
2	Yun Bai	A Knowledge Based Formal Language for Securing Information Systems.	KES	2009	DBLP DOI BibTeX RDF	Logic Program, Modal Logic, Formal Language, System Security, Authorization Policy
2	Nadine Pfeiffer-Leßmann, Ipke Wachsmuth	Formalizing Joint Attention in Cooperative Interaction with a Virtual Human.	KI	2009	DBLP DOI BibTeX RDF	modal logic, attention, alignment, BDI, cooperative agents
2	Nina Gierasimczuk, Lena Kurzen, Fernando R. Velázquez-Quesada	Learning and Teaching as a Game: A Sabotage Approach.	LORI	2009	DBLP DOI BibTeX RDF	Formal learning theory, sabotage games, inductive inference games, game theory, modal logic, learning algorithms
2	Martin W. A. Caminada, Dov M. Gabbay	A Logical Account of Formal Argumentation.	Studia Logica	2009	DBLP DOI BibTeX RDF	abstract argumentation, argument labellings, grounded semantics, modal logic
2	Dov M. Gabbay, Sérgio Marcelino	Modal Logics of Reactive Frames.	Studia Logica	2009	DBLP DOI BibTeX RDF	reactive graphs, reactive frames, (bi)modal logic, Kripke semantics
2	Greg Restall	Truth Values and Proof Theory.	Studia Logica	2009	DBLP DOI BibTeX RDF	Completeness, Modal Logic, Proof, Sequent Calculus, Intuitionistic Logic, Truth Value
2	Michael Kaminski	A non-preferential semantics of non-monotonic modal logic.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03B42, 03B45, 68T30, 68T27
2	Davide Grossi	Pushing Anderson's Envelope: The Modal Logic of Ascription.	DEON	2008	DBLP DOI BibTeX RDF	Anderson’s reduction, counts-as, ascription, Jørgensen’s dilemma, Modal logic
2	Lev D. Beklemishev, Valentin Goranko, Valentin Shehtman (eds.)	Advances in Modal Logic 8, papers from the eighth conference on "Advances in Modal Logic," held in Moscow, Russia, 24-27 August 2010	Advances in Modal Logic	2008	DBLP BibTeX RDF
2	Carlos Areces, Robert Goldblatt (eds.)	Advances in Modal Logic 7, papers from the seventh conference on "Advances in Modal Logic," held in Nancy, France, 9-12 September 2008	Advances in Modal Logic	2008	DBLP BibTeX RDF
2	Jörg Bauer 0001, Iovka Boneva, Marcos E. Kurbán, Arend Rensink	A Modal-Logic Based Graph Abstraction.	ICGT	2008	DBLP DOI BibTeX RDF
2	Andreas Herzig, Jérôme Mengin	Uniform Interpolation by Resolution in Modal Logic.	JELIA	2008	DBLP DOI BibTeX RDF
2	Vineet Padmanabhan, Guido Governatori, Subhasis Thakur	Knowledge Assessment: A Modal Logic Approach.	PRIMA	2008	DBLP DOI BibTeX RDF	Modal & Epistemic Logics for Question Answering Systems, Question processing, Interpretation models
2	Agi Kurucz	On axiomatising products of Kripke frames, part II.	Advances in Modal Logic	2008	DBLP BibTeX RDF
2	Guido Governatori	Labelled modal tableaux.	Advances in Modal Logic	2008	DBLP BibTeX RDF
2	Jens Hansen, Thomas Bolander, Torben Braüner	Many-valued hybrid logic.	Advances in Modal Logic	2008	DBLP BibTeX RDF
2	Rajeev Goré, Linda Postniece, Alwen Tiu	Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents.	Advances in Modal Logic	2008	DBLP BibTeX RDF
2	Rajeev Goré, Revantha Ramanayake	Valentini's cut-elimination for provability logic resolved.	Advances in Modal Logic	2008	DBLP BibTeX RDF
2	Ilya Shapirovsky	PSPACE-decidability of Japaridze's polymodal logic.	Advances in Modal Logic	2008	DBLP BibTeX RDF
2	Viorica Sofronie-Stokkermans	Locality and subsumption testing in EL and some of its extensions.	Advances in Modal Logic	2008	DBLP BibTeX RDF
2	Savas Konur	An interval logic for natural language semantics.	Advances in Modal Logic	2008	DBLP BibTeX RDF
2	Marta Bílková, Alessandra Palmigiano, Yde Venema	Proof systems for the coalgebraic cover modality.	Advances in Modal Logic	2008	DBLP BibTeX RDF
2	Antti Kuusisto	A modal perspective on monadic second-order alternation hierarchies.	Advances in Modal Logic	2008	DBLP BibTeX RDF
2	Timofei Shatrov	On the intermediate logic of open subsets of metric spaces.	Advances in Modal Logic	2008	DBLP BibTeX RDF