Search results for "Kripke semantics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Hugo Herbelin, Gyesik Lee	Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus.	WoLLIC	2009	DBLP DOI BibTeX RDF	Intuitionistic Gentzen-style sequent calculus, completeness, cut-elimination, Kripke semantics
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	Dov M. Gabbay	Introducing Reactive Kripke Semantics and Arc Accessibility.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
2	John Nolt	Reference and perspective in intuitionistic logics.	Journal of Logic, Language and Information	2007	DBLP DOI BibTeX RDF	Intuitionism, Constructivism, Intuitionistic logic, Reference, Kripke semantics
2	Sebastiaan Terwijn	Kripke Models, Distributive Lattices, and Medvedev Degrees.	Studia Logica	2007	DBLP DOI BibTeX RDF	Medvedev degrees, intuitionistic propositional logic, Kripke semantics
2	Wendy MacCaull, Dimiter Vakarelov	Lattice-Based Paraconsistent Logic.	RelMiCS	2005	DBLP DOI BibTeX RDF	lattice representation, graded information, paraconsistent logic, negation, multi-valued logic, Kripke semantics
1	Kensuke Kojima, Atsushi Igarashi	Constructive linear-time temporal logic: Proof systems and Kripke semantics.	Inf. Comput.	2011	DBLP DOI BibTeX RDF
1	Robert Rothenberg	Translating Labels to Hypersequents for Intermediate Logics with Geometric Kripke Semantics	CoRR	2011	DBLP BibTeX RDF
1	Steven Awodey, Florian Rabe	Kripke Semantics for Martin-Löf's Extensional Type Theory	Logical Methods in Computer Science	2011	DBLP DOI BibTeX RDF
1	Arnon Avron, Ori Lahav	Kripke Semantics for Basic Sequent Systems.	TABLEAUX	2011	DBLP DOI BibTeX RDF
1	Jan van Eijck, Floor Sietsma	Message-generated Kripke semantics.	AAMAS	2011	DBLP BibTeX RDF
1	Lev D. Beklemishev	Kripke semantics for provability logic GLP.	Ann. Pure Appl. Logic	2010	DBLP DOI BibTeX RDF
1	Steven Awodey, Florian Rabe	Kripke Semantics for Martin-Löf's Extensional Type Theory.	TLCA	2009	DBLP DOI BibTeX RDF
1	Sergey Babenyshev, Vladimir V. Rybakov	Describing Evolutions of Multi-Agent Systems.	KES	2009	DBLP DOI BibTeX RDF	multi-agent systems, satisfiability, decision algorithms, Kripke semantics, multi-modal logics
1	Ernst Zimmermann	Predicate Logical Extensions of some Subintuitionistic Logics.	Studia Logica	2009	DBLP DOI BibTeX RDF	(sub)intuitionistic logic, predicate logic, Kripke semantics
1	Norihiro Kamide, Ken Kaneiwa	Extended Full Computation-Tree Logic with Sequence Modal Operator: Representing Hierarchical Tree Structures.	Australasian Conference on Artificial Intelligence	2009	DBLP DOI BibTeX RDF
1	Yoshihiro Maruyama	Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic.	ICLA	2009	DBLP DOI BibTeX RDF
1	George Metcalfe, Nicola Olivetti	Proof Systems for a Gödel Modal Logic.	TABLEAUX	2009	DBLP DOI BibTeX RDF
1	Luis Pinto, Tarmo Uustalu	Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents.	TABLEAUX	2009	DBLP DOI BibTeX RDF
1	Takeshi Tsukada, Atsushi Igarashi	A Logical Foundation for Environment Classifiers.	TLCA	2009	DBLP DOI BibTeX RDF
1	Seiki Akama, Yasunori Nagata, Chikatoshi Yamada	Three-Valued Temporal Logic Q t and Future Contingents.	Studia Logica	2008	DBLP DOI BibTeX RDF	Q, three-valued temporal logic Q t, future contingents, Kripke semantics, Prior
1	Luca Viganò, Marco Volpe	Labeled Natural Deduction Systems for a Family of Tense Logics.	TIME	2008	DBLP DOI BibTeX RDF
1	Norihiro Kamide	Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic.	CLIMA	2008	DBLP DOI BibTeX RDF
1	Dirk Pattinson, Lutz Schröder	Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics.	FoSSaCS	2008	DBLP DOI BibTeX RDF
1	Mario R. F. Benevides, L. Menasché Schechter	A Propositional Dynamic Logic for CCS Programs.	WoLLIC	2008	DBLP DOI BibTeX RDF
1	Andrew W. Appel, Paul-André Melliès, Christopher D. Richards, Jérôme Vouillon	A very modal model of a modern, major, general type system.	POPL	2007	DBLP DOI BibTeX RDF	impredicative polymorphism, mutable references, recursive types, Kripke models
1	Mika Cohen, Mads Dam	A Complete Axiomatization of Knowledge and Cryptography.	LICS	2007	DBLP DOI BibTeX RDF
1	Linda Buisman, Rajeev Goré	A Cut-Free Sequent Calculus for Bi-intuitionistic Logic.	TABLEAUX	2007	DBLP DOI BibTeX RDF
1	James Lipton, Susana Nieva	Higher-Order Logic Programming Languages with Constraints: A Semantics.	TLCA	2007	DBLP DOI BibTeX RDF
1	Zhi-Hong Tao, Hans Kleine Büning, Li-Fu Wang	Direct Model Checking Matrix Algorithm.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	direct model checking (DMC), Kripke semantics structure, CTL logic, matrix algorithm
1	Dimiter Vakarelov	Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation.	Studia Logica	2006	DBLP DOI BibTeX RDF	intuitionistic negation, dual intuitionistic negation, minimal negation, seminegation, regular negation, Nelson negation, Nelson algebras, twist construction, Kripke semantics
1	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
1	Lutz Schröder, Till Mossakowski	Coalgebraic Modal Logic in CoCasl.	WADT	2006	DBLP DOI BibTeX RDF
1	Kaile Su, Qingliang Chen, Abdul Sattar, Weiya Yue, Guanfeng Lv, Xizhong Zheng	Verification of Authentication Protocols for Epistemic Goals via SAT Compilation.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	formal verification, SAT, authentication protocol, knowledge structure
1	Norihiro Kamide	Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation.	Journal of Logic, Language and Information	2006	DBLP DOI BibTeX RDF	electric circuit, linear logic with strong negation, Petri net with inhibitor arc, phase semantics, medical diagnosis
1	Patrick Blackburn, Balder ten Cate	Pure Extensions, Proof Rules, and Hybrid Axiomatics.	Studia Logica	2006	DBLP DOI BibTeX RDF	completeness, modal logic, Hybrid logic, proof rules, axiomatisation, nominals
1	Alberto Zanardo	Quantification over Sets of Possible Worlds in Branching-Time Semantics.	Studia Logica	2006	DBLP DOI BibTeX RDF	temporal logics, branching time
1	Stefano Borgo	Quantificational Modal Logic with Sequential Kripke Semantics.	Journal of Applied Non-Classical Logics	2005	DBLP BibTeX RDF
1	Dmitrij P. Skvortsov	On the Predicate Logic of Linear Kripke Frames and some of its Extensions.	Studia Logica	2005	DBLP DOI BibTeX RDF	Intermediate predicate logics, Kripke sheaves, completeness and incompleteness, Kripke semantics
1	Wiebe van der Hoek, Michael Wooldridge	On the dynamics of delegation, cooperation, and control: a logical account.	AAMAS	2005	DBLP DOI BibTeX RDF	powers of agents and coalitions, propositional control, cooperation, dynamics, modal logic, delegation, dynamic logic
1	Arild Waaler, Bjørnar Solhaug	Semantics for multi-agent only knowing: extended abstract.	TARK	2005	DBLP DOI BibTeX RDF
1	Seiki Akama, Yasunori Nagata	On Prior's Three-Valued Modal Logic Q.	ISMVL	2005	DBLP DOI BibTeX RDF
1	Sebastiaan Terwijn	Kripke Models, Distributive Lattices, and Medvedev Degrees.	CiE	2005	DBLP DOI BibTeX RDF
1	Ken Kaneiwa, Riichiro Mizoguchi	An Order-Sorted Quantified Modal Logic for Meta-ontology.	TABLEAUX	2005	DBLP DOI BibTeX RDF
1	Dmitrij P. Skvortsov	On Intermediate Predicate Logics of some Finite Kripke Frames, I. Levelwise Uniform Trees.	Studia Logica	2004	DBLP DOI BibTeX RDF	Intermediate predicate logics, recursive and finite axiomatizability, Kripke semantics
1	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
1	Churn-Jung Liau	Epistemic Logics for Information Fusion.	ECSQARU	2003	DBLP DOI BibTeX RDF	belief fusion, majority merging, general merging, multi-agent systems, belief revision, epistemic logic, arbitration, database merging
1	Johan van Benthem, Guram Bezhanishvili, Mai Gehrke	Euclidean Hierarchy in Modal Logic.	Studia Logica	2003	DBLP DOI BibTeX RDF	Topo-bisimulation, serial set, chequered set, Euclidean hierarchy
1	Franco Montagna, Hiroakira Ono	Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL[forall].	Studia Logica	2002	DBLP DOI BibTeX RDF
1	Norihiro Kamide	Kripke Semantics for Modal Substructural Logics.	Journal of Logic, Language and Information	2002	DBLP DOI BibTeX RDF
1	Gerald Lüttgen, Michael Mendler	The intuitionism behind Statecharts steps.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	Statecharts, Compositionality, intuitionistic logic, full abstraction, Kripke semantics
1	Gerard Allwein, Wendy MacCaull	A Kripke Semantics for the Logic of Gelfand Quantales.	Studia Logica	2001	DBLP DOI BibTeX RDF
1	Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter	Categorical and Kripke Semantics for Constructive S4 Modal Logic.	CSL	2001	DBLP DOI BibTeX RDF
1	Christo Dichev, Trendafil Madarov	Propositional Contexts.	AIMSA	2000	DBLP DOI BibTeX RDF
1	Marco Aiello	Topo-distance: Measuring the Difference between Spatial Patterns.	JELIA	2000	DBLP DOI BibTeX RDF	RCC, model comparison games, qualitative spatial reasoning, mereotopology
1	Antonio Moreno, Ulises Cortés, Ton Sales	Avoiding Logical Omniscience by Using Subjective Situations.	JELIA	2000	DBLP DOI BibTeX RDF
1	Jair Minoro Abe, Seiki Akama	Annotated Temporal Logics Delta*tau.	IBERAMIA-SBIA	2000	DBLP DOI BibTeX RDF	Time in Paraconsistent logics, paraconsistent temporal logic, time and paraconsistency
1	David J. Pym	On Bunched Predicate Logic.	LICS	1999	DBLP DOI BibTeX RDF
1	Frank Wolter	All finitely axiomatizable subframe logics containing the provability logic CSM 0_{0} are decidable.	Arch. Math. Log.	1998	DBLP DOI BibTeX RDF	Mathematics Subject Classification (1991): 03B45, 03B25
1	Matteo Baldoni, Laura Giordano, Alberto Martelli	Translating a Modal Language with Embedded Implication into Horn Clause Logic.	ELP	1996	DBLP DOI BibTeX RDF	Multimodal Logic, Embedded Implication, Translation
1	Antonio Moreno, Ton Sales	Limited Logical Belief Analysis.	PRICAI Workshop on Intelligent Agent Systems	1996	DBLP DOI BibTeX RDF
1	Olivier Gasquet	A New Incompleteness Result in Kripke Semantics.	Fundam. Inform.	1995	DBLP DOI BibTeX RDF
1	Matthias Baaz, Alexander Leitsch, Richard Zach	Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs.	CSL	1995	DBLP DOI BibTeX RDF	temporal logic, many-valued logic, intermediate logic
1	Sasa Buvac, Vanja Buvac, Ian A. Mason	The Semantics of Propositional Contexts.	ISMIS	1994	DBLP DOI BibTeX RDF
1	James Lipton, Michael J. O'Donnell	Intuitive Counterexamples for Constructive Fallacies.	MFCS	1994	DBLP DOI BibTeX RDF
1	Silvio Ghilardi	Incompleteness Results in Kripke Semantics.	J. Symb. Log.	1991	DBLP BibTeX RDF
1	James Lipton	Kripke Semantics for Dependent Type Theory and Realizability Interpretations.	Constructivity in Computer Science	1991	DBLP DOI BibTeX RDF
1	Hans Jürgen Ohlbach	A Resolution Calculus for Modal Logics.	CADE	1988	DBLP DOI BibTeX RDF	resolution principle, modal logic, unification
1	Peter van Emde Boas	The Connection between Modal Logic and Algorithmic Logic.	MFCS	1978	DBLP DOI BibTeX RDF