Skip to main content
Agasti Knowledge Resource Centre
Lists
Public lists
Indian Knowledge System Book List
Special/Rare Books Collection
Faculty Publications
Maharaja Sayajirao Gaikwad Special Collection
Magazines
Special Collection
Research Journals
List of Subscribed Journals
790 Sports, Yoga, Physical Education
491 / 891 Hindi Language / Hindi Literature
View all
Your lists
Log in to create your own lists
Log in to your account
Your cookies
Search history
Search the catalog by:
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Search the catalog by keyword
All libraries
BBABCABCS Library
BBABCABCS TEXT BOOK LIBRARY
Central Library
Chemistry Departmental Library
Directory of Open Access Books (DOAB)
JR COLLEGE TEXTBOOK LIBRARY
Junior College Library
Nalanda Library
Physics Departmental Library
Police Training Center
Post Graduate Library
SR COLLEGE TEXT BOOK LIBRARY
Departmental Libraries
Advanced search
Course reserves
Tag cloud
Subject cloud
Most popular
Libraries
Log in to your account
Card number or username:
Password:
Home
Advanced search
Results of search for 'su:"Modal logic"'
Refine your search
Availability
Limit to records with available items
Authors
Baier, Christel
Christel Baier
Citkin, Alex
Dal Lago, Ugo
Frauchiger, Michael
Müller, Thomas
Roussarie, Laurent
Ugo Dal Lago
Wybraniec-Skardowska...
Show more
Show less
Topics
Computer science
Ethics & moral philo...
linguistics
Mathematics & scienc...
Philosophy
Philosophy: logic
Research & informati...
Science: general iss...
Western philosophy, ...
Show more
Show less
Your search returned 6 results.
Sort
Sort by:
Relevance
Popularity (most to least)
Popularity (least to most)
Author (A-Z)
Author (Z-A)
Call number (0-9 to A-Z)
Call number (Z-A to 9-0)
Publication/Copyright date: Newest to oldest
Publication/Copyright date: Oldest to newest
Acquisition date: Newest to oldest
Acquisition date: Oldest to newest
Title (A-Z)
Title (Z-A)
Unhighlight
Highlight
Select all
Clear all
Select titles to:
Add to list
Public lists
Wine Tech Book List
New list
Place hold
Tag
New tag:
(done)
Tag status here.
Results
1.
Image from Amazon.com
Deductive Systems in Traditional and Modern Logic
by
Wybraniec-Skardowska, Urszula
[edt]
Citkin, Alex
[edt]
Wybraniec-Skardowska, Urszula
[oth]
Citkin, Alex
[oth]
Material type:
Article
Language:
English
Publication details:
Basel, Switzerland
MDPI - Multidisciplinary Digital Publishing Institute
2020
Online resources:
DOAB: download the publication
DOAB: description of the publication
Availability:
No items available.
Place hold
Log in to add tags
Save to lists
2.
Image from Amazon.com
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
by
Baier, Christel
[edt]
Dal Lago, Ugo
[edt]
Baier, Christel
[oth]
Dal Lago, Ugo
[oth]
Material type:
Article
Language:
English
Publication details:
Cham
Springer Nature
2018
Online resources:
DOAB: download the publication
DOAB: download the publication
DOAB: download the publication
DOAB: description of the publication
Availability:
No items available.
Place hold
Log in to add tags
Save to lists
3.
Sémantique formelle: Volume 1 : Introduction à la grammaire de Montague
by
Roussarie, Laurent
[auth]
Material type:
Article
Language:
French
Publication details:
Language Science Press
2017
Online resources:
DOAB: download the publication
DOAB: download the publication
DOAB: download the publication
DOAB: description of the publication
Availability:
No items available.
Place hold
Log in to add tags
Save to lists
4.
Image from Amazon.com
Modalities, Identity, Belief, and Moral Dilemmas: Themes from Barcan Marcus
by
Frauchiger, Michael
[edt]
Frauchiger, Michael
[oth]
Material type:
Article
Language:
English
Publication details:
De Gruyter
2015
Online resources:
DOAB: description of the publication
Availability:
No items available.
Place hold
Log in to add tags
Save to lists
5.
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
by
Ugo Dal Lago
[auth]
Christel Baier
[auth]
Material type:
Article
Language:
English
Publication details:
Springer Nature
2018
Online resources:
DOAB: download the publication
DOAB: description of the publication
Availability:
No items available.
Place hold
Log in to add tags
Save to lists
6.
Image from Amazon.com
Nuel Belnap on Indeterminism and Free Action
by
Müller, Thomas
[edt]
Müller, Thomas
[oth]
Material type:
Article
Language:
English
Publication details:
Springer Nature
2014
Online resources:
DOAB: download the publication
DOAB: download the publication
DOAB: download the publication
DOAB: description of the publication
Availability:
No items available.
Place hold
Log in to add tags
Save to lists
